Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination.

Mate Soos Randal E. Bryant

Published in: CoRR (2023)

Keyphrases

sat solvers
sat encodings
clause learning
sat solving
orders of magnitude
search space
propositional satisfiability
search tree
sat instances
constraint satisfaction
boolean satisfiability
sat problem
search strategies
max sat
boolean formula
theorem proving
evolutionary algorithm
information retrieval