|
This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies.
For more information visit Aigaion.nl. |  |
?>
?>
Firstname: | Ricardo |
Surname: | Menchaca-Mendez |
Email: | |
Institute: | |
Homepage: | |
Is RU1 member: | NO |
|
|
|
[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-2012-18] Achlioptas, Dimitris and Menchaca-Mendez, Ricardo, Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method, in: ICALP (1), pages 1-12, Springer Berlin Heidelberg, 39th International Colloquium, ICALP 2012, July 9-13, 2012, Proceedings, Part I, Warwick, UK, 2012. [DOI] |
|
|
|