Login / Signup
Generalized Totalizer Encoding for Pseudo-Boolean Constraints.
Saurabh Joshi
Ruben Martins
Vasco M. Manquinho
Published in:
CoRR (2015)
Keyphrases
</>
pseudo boolean constraints
logic programming
pseudo boolean
logic programs
integer linear programming
programming language
knowledge representation
sat encodings