Implicant based parallel all solution solver for Boolean satisfiability.

Published in: CoRR (2016)

Keyphrases

boolean satisfiability
sat solving
integer programming
sat solvers
randomly generated
boolean formula
sat problem
symmetry breaking
boolean optimization
optimal solution
lower bound
branch and bound algorithm
probabilistic planning