Login / Signup
New Encoding for Translating Pseudo-Boolean Constraints into SAT.
Amir Aavani
David G. Mitchell
Eugenia Ternovska
Published in:
SARA (2013)
Keyphrases
</>
pseudo boolean constraints
logic programming
pseudo boolean
combinatorial problems
sat encodings
integer linear programming
logic programs
lower bound
domain independent
search methods