Login / Signup
Generating 'Random' 3-SAT Instances with Specific Solution Space Structure.
Pushkin R. Pari
Jane Lin
Lin Yuan
Gang Qu
Published in:
AAAI (2004)
Keyphrases
</>
solution space
search space
simulated annealing
metaheuristic
optimal solution
neural network
orders of magnitude
random sat instances
search algorithm
optimal policy
domain independent
belief revision
propositional logic
stochastic local search