BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × United Kingdom
Collaborated with:
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 DBLP: Menchaca-Mendez:Ricardo

Contributed to:

ICALP (1) 20122012
SAT 20122012

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.