%0 Conference Paper %1 conf/tacas/BlasiusFS19 %A Bläsius, Thomas %A Friedrich, Tobias %A Sutton, Andrew M. %B TACAS (1) %D 2019 %E Vojnar, Tomás %E Zhang, Lijun %I Springer %K dblp %P 117-134 %T On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#BlasiusFS19 %V 11427 %@ 978-3-030-17462-0

@inproceedings{conf/tacas/BlasiusFS19, added-at = {2019-08-20T00:00:00.000+0200}, author = {Bläsius, Thomas and Friedrich, Tobias and Sutton, Andrew M.}, biburl = {https://www.bibsonomy.org/bibtex/29b43556d0636c45e7e324da6e9d06d7d/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2019-1}, editor = {Vojnar, Tomás and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-030-17462-0_7}, interhash = {ac33acf04557ddbf654123d0bc48e773}, intrahash = {9b43556d0636c45e7e324da6e9d06d7d}, isbn = {978-3-030-17462-0}, keywords = {dblp}, pages = {117-134}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:04:45.000+0200}, title = {On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#BlasiusFS19}, volume = 11427, year = 2019 }