Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:D.Achlioptas
Talks about:random (2) bound (2) unsatisfi (1) exponenti (1) algorithm (1) interpol (1) satisfi (1) formula (1) energet (1) method (1)
Person: Ricardo Menchaca-Mendez
DBLP: Menchaca-Mendez:Ricardo
Contributed to:
2012
2012Wrote 2 papers:
- ICALP-v1-2012-AchlioptasM #bound #random #satisfiability
- Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method (DA, RMM), pp. 1–12.
- SAT-2012-AchlioptasM #algorithm #bound #exponential #random #satisfiability
- Exponential Lower Bounds for DPLL Algorithms on Satisfiable Random 3-CNF Formulas (DA, RMM), pp. 327–340.