Open AccessPhase Transitions for Scale-Free SAT Formulas
Author(s) -
Tobias Friedrich,
Anton Krohmer,
Ralf Rothenberger,
Andrew M. Sutton
Publication year - 2017
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v31i1.11133
Subject(s) - mathematics , satisfiability , scaling , exponent , function (biology) , scale (ratio) , boolean satisfiability problem , backtracking , phase transition , critical point (mathematics) , contrast (vision) , distribution (mathematics) , discrete mathematics , statistical physics , mathematical analysis , algorithm , quantum mechanics , physics , geometry , philosophy , linguistics , evolutionary biology , biology , optics