SAT 2010
Exact MinSAT Solving
Abstract
Abstract We present an original approach to exact MinSAT solving based on solving MinSAT using MaxSAT encodings and MaxSAT solvers, and provide empirical evidence that our generic approach is competitive.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- International Conference on Theory and Applications of Satisfiability Testing
- Archive span
- 2003-2025
- Indexed papers
- 824
- Paper id
- 369318363174822383