Translating Pseudo-Boolean Constraints into SAT
Top Cited Papers
Open Access
- 1 March 2006
- journal article
- Published by IOS Press in Journal on Satisfiability, Boolean Modeling and Computation
- Vol. 2 (1-4) , 1-26
- https://doi.org/10.3233/sat190014
Abstract
In this paper, we describe and evaluate three different techniques for translating pseudo-boolean constraints (linear constraints over boolean variables) into clauses that can be handled by a standard SAT-solver. We show that by applying a proper mixKeywords
This publication has 0 references indexed in Scilit: