Exploiting Cardinality Encodings in Parallel Maximum Satisfiability.

Ruben Martins Vasco M. Manquinho Inês Lynce

Published in: ICTAI (2011)

Keyphrases

boolean satisfiability
maximum satisfiability
sat solvers
probabilistic planning
branch and bound algorithm
symmetry breaking
randomly generated
max sat
combinatorial problems
integer linear programming
orders of magnitude
dynamical systems
combinatorial optimization
temporal logic
sat problem