%0 Conference Paper %1 conf/aaai/0001KRS17 %A Friedrich, Tobias %A Krohmer, Anton %A Rothenberger, Ralf %A Sutton, Andrew M. %B AAAI %D 2017 %E Singh, Satinder P. %E Markovitch, Shaul %I AAAI Press %K %P 3893-3899 %T Phase Transitions for Scale-Free SAT Formulas. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#0001KRS17

@inproceedings{conf/aaai/0001KRS17, added-at = {2023-12-14T16:21:51.000+0100}, author = {Friedrich, Tobias and Krohmer, Anton and Rothenberger, Ralf and Sutton, Andrew M.}, biburl = {https://www.bibsonomy.org/bibtex/2c4d0f3b7693a3cf56260b36799636d9b/admin}, booktitle = {AAAI}, crossref = {conf/aaai/2017}, editor = {Singh, Satinder P. and Markovitch, Shaul}, ee = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14755}, interhash = {f6e5308755096bf06e5daf430209a4a1}, intrahash = {c4d0f3b7693a3cf56260b36799636d9b}, keywords = {}, pages = {3893-3899}, publisher = {AAAI Press}, timestamp = {2023-12-14T16:21:51.000+0100}, title = {Phase Transitions for Scale-Free SAT Formulas.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#0001KRS17}, year = 2017 }