A Verified SAT Solver Framework including Optimization and Partial Valuations.

Mathias Fleury, Christoph Weidenbach

Browse the full LPAR paper archive.