The Silent (R)evolution of SAT
Abstract
Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.
Journal Articles
Communications of the ACM
Year : 2023
Daniel Le Berre : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-04106948
Submitted on : Thursday, May 25, 2023-7:42:50 PM
Last modification on : Friday, May 26, 2023-3:57:26 AM
Cite
Johannes Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider. The Silent (R)evolution of SAT. Communications of the ACM, 2023, 66 (6), pp.64-72. ⟨10.1145/3560469⟩. ⟨hal-04106948⟩
Collections
0
View
0
Download