Juan Luis Esteban
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1998–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CP | Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. | Carlos Anstegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Josep Suy, Mateu Villaret |
| 2002 | ICALP | On the Complexity of Resolution with Bounded Conjunctions. | Juan Luis Esteban, Nicola Galesi, Jochen Messner |
| 2001 | ICALP | Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution. | Albert Atserias, Maria Luisa Bonet, Juan Luis Esteban |
| 2000 | DNA | A DNA-Based Random Walk Method for Solving k-SAT. | Sergio Daz, Juan Luis Esteban, Mitsunori Ogihara |
| 1999 | STACS | Space Bounds for Resolution. | Juan Luis Esteban, Jacobo Torn |
| 1998 | FOCS | Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems. | Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen |