A Complete Diagrammatic Calculus for Boolean Satisfiability.

Tao Gu Robin Piedeleu Fabio Zanasi

Published in: CoRR (2022)

Keyphrases

boolean satisfiability
sat solvers
probabilistic planning
sat solving
boolean optimization
branch and bound algorithm
randomly generated
maximum satisfiability
symmetry breaking
integer linear programming
domain specific
expressive power
sat problem