Login / Signup
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT.
Özgür Akgün
Ian P. Gent
Christopher Jefferson
Ian Miguel
Peter Nightingale
Published in:
CP (2016)
Keyphrases
</>
sat encodings
pseudo boolean constraints
pseudo boolean
combinatorial problems
propositional satisfiability
boolean variables
constraint programming
logic programming
planning problems
constraint solving
neural network
search algorithm
geometric constraints
constrained optimization
sat problem