Generalized Totalizer Encoding for Pseudo-Boolean Constraints.

Saurabh Joshi Ruben Martins Vasco M. Manquinho

Published in: CP (2015)

Keyphrases

pseudo boolean constraints
logic programming
pseudo boolean
sat encodings
logic programs
machine learning
combinatorial problems
genetic algorithm
knowledge representation
scheduling problem
linear programming
particle swarm optimization
first order logic
linear program
integer linear programming