The Silent (R)evolution of SAT
Résumé
Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.
Article Dans Une Revue
Communications of the ACM
Année : 2023
Daniel Le Berre : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-04106948
Soumis le : jeudi 25 mai 2023-19:42:50
Dernière modification le : jeudi 29 février 2024-11:57:54
Citer
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
42
Consultations
0
Téléchargements