C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.
Abhishek Nair
Saranyu Chattopadhyay
Haoze Wu
Alex Ozdemir
Clark W. Barrett
Published in:
FMCAD (2022)
Keyphrases
</>
sat solvers
clause learning sat solvers
constraint satisfaction
objective function
orders of magnitude
theorem prover
theorem proving
search space
knowledge representation
sat solving