%0 Conference Paper %1 conf/mfcs/BulatovS15 %A Bulatov, Andrei A. %A Skvortsov, Evgeny S. %B MFCS (2) %D 2015 %E Italiano, Giuseppe F. %E Pighizzini, Giovanni %E Sannella, Donald %I Springer %K dblp %P 175-186 %T Phase Transition for Local Search on Planted SAT. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2015-2.html#BulatovS15 %V 9235 %@ 978-3-662-48053-3

@inproceedings{conf/mfcs/BulatovS15, added-at = {2017-05-25T00:00:00.000+0200}, author = {Bulatov, Andrei A. and Skvortsov, Evgeny S.}, biburl = {https://www.bibsonomy.org/bibtex/29ac5d1d2b6107ade4ed3080a4c735cf5/dblp}, booktitle = {MFCS (2)}, crossref = {conf/mfcs/2015-2}, editor = {Italiano, Giuseppe F. and Pighizzini, Giovanni and Sannella, Donald}, ee = {https://doi.org/10.1007/978-3-662-48054-0_15}, interhash = {95171e901b1387746bd1e19107555405}, intrahash = {9ac5d1d2b6107ade4ed3080a4c735cf5}, isbn = {978-3-662-48053-3}, keywords = {dblp}, pages = {175-186}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:11:44.000+0200}, title = {Phase Transition for Local Search on Planted SAT.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2015-2.html#BulatovS15}, volume = 9235, year = 2015 }