Keyword:Incremental SAT

Publications
Certifying Incremental SAT Solving Katalin Fazekas, Florian Pollitt, Mathias Fleury and Armin Biere In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning