Towards Clause Learning à la Carte through VarMonads.

Arved Friedemann Oliver Keszöcze

Published in: CoRR (2022)

Keyphrases

clause learning
sat solvers
satisfiability problem
sat problem
sat solving
propositional satisfiability
orders of magnitude
answer sets
search space
dynamic programming
constraint satisfaction problems
metaheuristic