Between proof construction and SAT-solving.

Aleksy Schubert Pawel Urzyczyn Konrad Zdanowski

Published in: CoRR (2024)

Keyphrases

sat solving
sat solvers
sat problem
boolean satisfiability
theorem prover
data structure
symmetry breaking
boolean optimization
special case
search tree