On Theoretical Complexity and Boolean Satisfiability.

Mohamed Ghanem Dauod Siniora

Published in: CoRR (2021)

Keyphrases

boolean satisfiability
sat solvers
boolean optimization
integer linear programming
randomly generated
space complexity
symmetry breaking
probabilistic planning
sat solving
maximum satisfiability
branch and bound algorithm
combinatorial problems
sat problem
max sat
boolean formula