Author of the publication

Phase Transition for Local Search on Planted SAT.

, and . MFCS (2), volume 9235 of Lecture Notes in Computer Science, page 175-186. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Amalgams of Constraint Satisfaction Problems., and . IJCAI, page 197-202. Morgan Kaufmann, (2003)Phase transition for Local Search on planted SAT, and . CoRR, (2008)A Theoretical Analysis of Search in GSAT.. SAT, volume 5584 of Lecture Notes in Computer Science, page 265-275. Springer, (2009)Efficiency of Local Search., and . SAT, volume 4121 of Lecture Notes in Computer Science, page 297-310. Springer, (2006)Pushing Random Walk Beyond Golden Ratio., and . CSR, volume 4649 of Lecture Notes in Computer Science, page 44-55. Springer, (2007)Phase Transition for Local Search on Planted SAT., and . MFCS (2), volume 9235 of Lecture Notes in Computer Science, page 175-186. Springer, (2015)Synchronizing random automata., and . Discret. Math. Theor. Comput. Sci., 12 (4): 95-108 (2010)Chemical Signaling as a Useful Metaphor for Resource Management., , and . IWANN (1), volume 6691 of Lecture Notes in Computer Science, page 449-456. Springer, (2011)