%0 Conference Paper %1 friedrich_et_al:LIPIcs:2017:7835 %A Friedrich, Tobias %A Krohmer, Anton %A Rothenberger, Ralf %A Sauerwald, Thomas %A Sutton, Andrew M. %B 25th Annual European Symposium on Algorithms (ESA 2017) %C Dagstuhl, Germany %D 2017 %E Pruhs, Kirk %E Sohler, Christian %I Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik %K testing typo3 %P 37:1--37:15 %R 10.4230/LIPIcs.ESA.2017.37 %T Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT %U http://drops.dagstuhl.de/opus/volltexte/2017/7835 %V 87 %Z Keywords: satisfiability, random structures, random SAT, power law distribution, scale-freeness, phase transitions %@ 978-3-95977-049-1

@inproceedings{friedrich_et_al:LIPIcs:2017:7835, added-at = {2018-03-14T05:25:08.000+0100}, address = {Dagstuhl, Germany}, annote = {Keywords: satisfiability, random structures, random SAT, power law distribution, scale-freeness, phase transitions}, author = {Friedrich, Tobias and Krohmer, Anton and Rothenberger, Ralf and Sauerwald, Thomas and Sutton, Andrew M.}, biburl = {https://www.bibsonomy.org/bibtex/22239712076d3316abf64ad4f8d3e3264/typo3tester}, booktitle = {25th Annual European Symposium on Algorithms (ESA 2017)}, doi = {10.4230/LIPIcs.ESA.2017.37}, editor = {Pruhs, Kirk and Sohler, Christian}, interhash = {7f507975084e0675b907b51b4d052322}, intrahash = {2239712076d3316abf64ad4f8d3e3264}, isbn = {978-3-95977-049-1}, issn = {1868-8969}, keywords = {testing typo3}, month = {September}, pages = {37:1--37:15}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, timestamp = {2018-03-30T01:45:17.000+0200}, title = {{Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT}}, url = {http://drops.dagstuhl.de/opus/volltexte/2017/7835}, urn = {urn:nbn:de:0030-drops-78356}, volume = 87, year = 2017 }