Login / Signup
Solving Hard Subgraph Problems in Parallel.
Ciaran McCreesh
Published in:
IJCAI (2016)
Keyphrases
</>
solving hard
combinatorial problems
search problems
propositional satisfiability
decision problems
satisfiability problem
propositional logic
artificial intelligence
stochastic local search
data structure
search space
np hard
optimization problems
heuristic search
combinatorial optimization
constraint programming