Searching for authors named "Juan Luis Esteban" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
