research unit 1

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit
Titles (2)Keywords (1)Abstracts (6)
[RACTI-RU1-2012-19] Achlioptas, Dimitris and Menchaca-Mendez, Ricardo, Exponential Lower Bounds for DPLL Algorithms on Satisfiable Random 3-CNF Formulas, in: SAT, pages 327-340, 15th International Conference, Trento, Italy, June 17-20, 2012., 2012. [DOI]
[RACTI-RU1-2009-71] Achlioptas, Dimitris and Ricci-Tersenghi, F., Random formulas have frozen variables, in: SIAM: Journal on Computing, volume 39, pages 260-280, 2009.