Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers.

Abhishek Nair Saranyu Chattopadhyay Haoze Wu Alex Ozdemir Clark W. Barrett

Published in: CoRR (2022)

Keyphrases

sat solvers
clause learning sat solvers
theorem prover
theorem proving
orders of magnitude
np complete
heuristic search
max sat
sat solving