SAT-Inspired Eliminations for Superposition.

Petar Vukmirovic Jasmin Blanchette Marijn J. H. Heule

Published in: FMCAD (2021)

Keyphrases

satisfiability problem
sat solvers
stochastic local search
sat problem
propositional satisfiability
boolean satisfiability
information systems
search algorithm
orders of magnitude
search strategies
search procedures
stochastic local search algorithms