The Silent (R)evolution of SAT
Résumé
Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.
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