PPSZ for General k-SAT - Making Hertli's Analysis Simpler and 3-SAT Faster.

Dominik Scheder John P. Steinberger

Published in: Computational Complexity Conference (2017)

Keyphrases

search algorithm
satisfiability problem
case study
special case
sat solvers
data mining
machine learning
genetic algorithm
learning algorithm
np complete
phase transition
max sat