Certifying Incremental SAT Solving.

Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere

Browse the full LPAR paper archive.