%0 Conference Paper %1 conf/approx/MooreIDV05 %A Moore, Cristopher %A Istrate, Gabriel %A Demopoulos, Demetrios D. %A Vardi, Moshe Y. %B APPROX-RANDOM %D 2005 %E Chekuri, Chandra %E Jansen, Klaus %E Rolim, José D. P. %E Trevisan, Luca %I Springer %K dblp %P 414-425 %T A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas. %U http://dblp.uni-trier.de/db/conf/approx/approx2005.html#MooreIDV05 %V 3624 %@ 3-540-28239-4

@inproceedings{conf/approx/MooreIDV05, added-at = {2022-01-03T00:00:00.000+0100}, author = {Moore, Cristopher and Istrate, Gabriel and Demopoulos, Demetrios D. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/26c1682dea9cb7f4e135335fa73634590/dblp}, booktitle = {APPROX-RANDOM}, crossref = {conf/approx/2005}, editor = {Chekuri, Chandra and Jansen, Klaus and Rolim, José D. P. and Trevisan, Luca}, ee = {https://doi.org/10.1007/11538462_35}, interhash = {d1615774af1af00f593e7978fca7f394}, intrahash = {6c1682dea9cb7f4e135335fa73634590}, isbn = {3-540-28239-4}, keywords = {dblp}, pages = {414-425}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:33:57.000+0200}, title = {A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas.}, url = {http://dblp.uni-trier.de/db/conf/approx/approx2005.html#MooreIDV05}, volume = 3624, year = 2005 }