The Silent (R)evolution of SAT

Download PDF
Open Webpage

Johannes Klaus Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider

Published: 01 Jan 2023, Last Modified: 15 Aug 2024Commun. ACM 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.