EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability.

Yiqi Zhao Ziyan An Meiyi Ma Taylor Johnson

Published in: CoRR (2023)

Keyphrases

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