The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas.

Jeffrey M. Dudek Kuldeep S. Meel Moshe Y. Vardi

Published in: IJCAI (2017)

Keyphrases

hard problems
random instances
conjunctive normal form
phase transition
cnf formula
truth assignment
boolean formula
hyper heuristics
sat solvers
randomly chosen
np complete
satisfiability problem
randomly generated
sat problem
neural network
orders of magnitude
genetic programming
search algorithm