- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| j6 |      | Juan Luis Esteban, Nicola Galesi, Jochen Messner: On the complexity of resolution with bounded conjunctions. Theor. Comput. Sci. 321(2-3): 347-370 (2004) |
| 2003 | ||
| j5 | | Juan Luis Esteban, Jacobo Torán: A combinatorial characterization of treelike resolution space. Inf. Process. Lett. 87(6): 295-300 (2003) |
| i2 | | Juan Luis Esteban, Jacobo Torán: A Combinatorial Characterization of Treelike Resolution Space. Electronic Colloquium on Computational Complexity (ECCC)(044) (2003) |
| 2002 | ||
| j4 | | Albert Atserias, Maria Luisa Bonet, Juan Luis Esteban: Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution. Inf. Comput. 176(2): 136-152 (2002) |
| c5 | | Juan Luis Esteban, Nicola Galesi, Jochen Messner: On the Complexity of Resolution with Bounded Conjunctions. ICALP 2002: 220-231 |
| 2001 | ||
| j3 |  | S. Baumer, Juan Luis Esteban, Jacobo Torán: Minimally Unsatisfiable CNF Formulas. Bulletin of the EATCS 74: 190-192 (2001) |
| j2 | | |
| c4 | | Albert Atserias, Maria Luisa Bonet, Juan Luis Esteban: Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution. ICALP 2001: 1005-1016 |
| 2000 | ||
| j1 | | Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen: On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems. SIAM J. Comput. 30(5): 1462-1484 (2000) |
| c3 | | Sergio Díaz, Juan Luis Esteban, Mitsunori Ogihara: A DNA-Based Random Walk Method for Solving k-SAT. DNA Computing 2000: 209-219 |
| 1999 | ||
| c2 | | |
| 1998 | ||
| c1 | | Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen: Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems. FOCS 1998: 638-647 |
| i1 | | Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen: Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems. Electronic Colloquium on Computational Complexity (ECCC) 5(35) (1998) |
| 1 | Albert Atserias | |
| 2 | S. Baumer | |
| 3 | Maria Luisa Bonet | |
| 4 | Sergio Díaz | |
| 5 | Nicola Galesi | |
| 6 | Jan Johannsen | |
| 7 | Jochen Messner (Jochen Meßner) | |
| 8 | Mitsunori Ogihara (Mitsunori Ogiwara) | |
| 9 | Jacobo Torán |
Colors in the list of coauthors
Last update Tue May 21 17:26:54 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page