Login / Signup
On 2-SAT and Renamable Horn.
Alvaro del Val
Published in:
AAAI/IAAI (2000)
Keyphrases
</>
satisfiability problem
sat solvers
stochastic local search
search algorithm
sat problem
stochastic local search algorithms
sat solving
max sat
propositional satisfiability
neural network
search strategies
boolean satisfiability
machine learning
reinforcement learning
optimal solution
backtracking search