Sign in
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints.
Miquel Bofill
Jordi Coll
Peter Nightingale
Josep Suy
Felix Ulrich-Oltean
Mateu Villaret
Published in:
Artif. Intell. (2022)
Keyphrases
</>
sat encodings
pseudo boolean constraints
sat solvers
combinatorial problems
linear arithmetic constraints
constraint satisfaction problems
graph coloring
pseudo boolean
integer linear programming
planning problems
constraint programming
solving problems
logic programming
linear programming
decision problems