QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers.

Maximilian Heisinger Martina Seidl Armin Biere

Published in: PAAR@IJCAR (2022)

Keyphrases

satisfiability problem
sat solvers
simplifying assumptions
neural network
objective function
search algorithm
phase transition
sat instances
stochastic local search algorithms
database
machine learning
genetic algorithm