C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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