SAT-Inspired Eliminations for Superposition.

Petar Vukmirovic Jasmin Blanchette Marijn J. H. Heule

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

satisfiability problem
sat problem
sat solvers
boolean satisfiability
stochastic local search algorithms
search algorithm
phase transition
artificial intelligence
logic programs
search strategies
sat solving
data sets
neural network
case study
pseudo boolean constraints