Login / Signup
Maximum circuit activity estimation using pseudo-boolean satisfiability.
Hratch Mangassarian
Andreas G. Veneris
Sean Safarpour
Farid N. Najm
Magdy S. Abadir
Published in:
DATE (2007)
Keyphrases
</>
boolean satisfiability
branch and bound algorithm
sat solving
sat solvers
probabilistic planning
boolean optimization
randomly generated
sat problem
symmetry breaking
integer linear programming
maximum satisfiability
upper bound
max sat
lower bound
random sat instances