Open AccessLocal Search for Hard SAT Formulas: The Strength of the Polynomial Law
Author(s) -
Sixue Liu,
Periklis A. Papakonstantinou
Publication year - 2016
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v30i1.10083
Subject(s) - simplicity , local search (optimization) , point (geometry) , mathematics , state (computer science) , measure (data warehouse) , search algorithm , algorithm , polynomial , phenomenon , computer science , mathematical optimization , data mining , philosophy , physics , geometry , epistemology , quantum mechanics , mathematical analysis