Login / Signup
Preliminary Results on Exploration-Driven Satisfiability Solving.
Md. Solimul Chowdhury
Martin Müller
Jia-Huai You
Published in:
AAAI (2018)
Keyphrases
</>
stochastic local search
data driven
sat solving
np complete
sat instances
database
reinforcement learning
satisfiability problem
propositional logic
sat problem
optimal solution
state space
phase transition
davis putnam logemann loveland