A Refutation of Guinea's "Understanding SAT is in P".

Jackson Abascal Shir Maimon

Published in: CoRR (2017)

Keyphrases

deeper understanding
information systems
search algorithm
phase transition
satisfiability problem
stochastic local search
boolean satisfiability
data sets
case study
constraint satisfaction problems