Searching for authors named "Juan Luis Esteban" – sorted by Relevance.
-
A DNA-Based Random Walk Method for Solving k-SAT
- A DNA-Based Random Walk Method for Solving k-SAT Sergio Daz 1 ? , Juan Luis Esteban 1
- Cited by 2 (0 self) – Add To MetaCart
-
On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
- Luisa Bonet +# Juan Luis Esteban + Nicola Galesi + Jan Johannsen # Abstract An exponential lower bound
- Cited by 27 (7 self) – Add To MetaCart
-
Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems
- Bonet , Juan Luis Esteban y , Nicola Galesi z Dept. Llenguatges i Sistemes Informatics
- Cited by 25 (5 self) – Add To MetaCart
-
Space Bounds for Resolution
- Space Bounds for Resolution Juan Luis Esteban Dept. L.S.I. U. Polit`ecnica de Catalunya Jordi
- Cited by 31 (3 self) – Add To MetaCart
-
On the Complexity of Resolution with Bounded Conjunctions
- On the Complexity of Resolution with Bounded Conjunctions Juan Luis Esteban y , Nicola Galesi
- Cited by 13 (0 self) – Add To MetaCart
-
Lower Bounds and Separations on Extensions of Resolution
- Juan Luis Esteban x January 21, 2001 Abstract We work with an extension of Resolution, called Res(2
- Add To MetaCart
-
Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution
- 'ia Luisa Bonet ?? , and Juan Luis Esteban ? ? ? Departament de Llenguatges i Sistemes Inform
- Cited by 27 (10 self) – Add To MetaCart

