×
Edit Profile (opens in new tab)

Esteban, Juan Luis

Co-Author Distance
Author ID: esteban.juan-luis Recent zbMATH articles by "Esteban, Juan Luis"
Published as: Esteban, Juan Luis; Luis Esteban, Juan; Esteban, J. L.
External Links: MGP
Documents Indexed: 17 Publications since 1999, including 1 Additional arXiv Preprint
Co-Authors: 12 Co-Authors with 17 Joint Publications
200 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
7 Ferrer i Cancho, Ramon
4 Torán, Jacobo
3 Alemany-Puig, Lluís
3 Bonet, Maria Luisa
3 Galesi, Nicola
3 Gómez-Rodríguez, Carlos
2 Atserias, Albert
2 Messner, Jochen
1 Baumer, Sven
1 Díaz, Sergio
1 Johannsen, Jan
1 Ogihara, Mitsunori
all top 5

Serials

3 Information Processing Letters
2 SIAM Journal on Computing
2 Information and Computation
2 Journal of Statistical Mechanics: Theory and Experiment
1 Physica A
1 Theoretical Computer Science
1 Bulletin of the European Association for Theoretical Computer Science EATCS

Fields

13 Computer science (68-XX)
7 Mathematical logic and foundations (03-XX)
6 Combinatorics (05-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

13 Publications have been cited 121 times in 79 Documents Cited by ▼ Year ▼
Space bounds for resolution. Zbl 1005.03009
Esteban, Juan Luis; Torán, Jacobo
29
2001
On the relative complexity of resolution refinements and cutting planes proof systems. Zbl 0976.03062
Bonet, Maria Luisa; Esteban, Juan Luis; Galesi, Nicola; Johannsen, Jan
28
2000
Lower bounds for the weak pigeonhole principle and random formulas beyond resolution. Zbl 1012.03058
Atserias, Albert; Bonet, Maria Luisa; Esteban, Juan Luis
15
2002
On the complexity of resolution with bounded conjunctions. Zbl 1056.03036
Esteban, Juan Luis; Galesi, Nicola; Messner, Jochen
13
2004
A combinatorial characterization of treelike resolution space. Zbl 1161.68637
Esteban, Juan Luis; Torán, Jacobo
12
2003
Space bounds for resolution. Zbl 0924.03020
Esteban, Juan Luis; Torán, Jacobo
4
1999
A correction on Shiloach’s algorithm for minimum linear arrangement of trees. Zbl 1367.05033
Esteban, Juan Luis; Ferrer-i-Cancho, Ramon
4
2017
The scaling of the minimum sum of edge lengths in uniformly random trees. Zbl 1456.68128
Esteban, Juan Luis; Ferrer-i-Cancho, Ramon; Gómez-Rodríguez, Carlos
4
2016
Minimally unsatisfiable \(CNF\) formulas. Zbl 1018.68075
Baumer, Sven; Esteban, Juan Luis; Torán, Jacobo
3
2001
Minimum projective linearizations of trees in linear time. Zbl 1533.68199
Alemany-Puig, Lluís; Esteban, Juan Luis; Ferrer-i-Cancho, Ramon
3
2022
Are crossing dependencies really scarce? Zbl 1504.05285
Ferrer-i-Cancho, R.; Gómez-Rodríguez, C.; Esteban, J. L.
3
2018
On the complexity of resolution with bounded conjunctions (extended abstract). Zbl 1056.03503
Esteban, Juan Luis; Galesi, Nicola; Messner, Jochen
2
2002
Bounds of the sum of edge lengths in linear arrangements of trees. Zbl 1539.05148
Ferrer-i-Cancho, Ramon; Gómez-Rodríguez, Carlos; Luis Esteban, Juan
1
2021
Minimum projective linearizations of trees in linear time. Zbl 1533.68199
Alemany-Puig, Lluís; Esteban, Juan Luis; Ferrer-i-Cancho, Ramon
3
2022
Bounds of the sum of edge lengths in linear arrangements of trees. Zbl 1539.05148
Ferrer-i-Cancho, Ramon; Gómez-Rodríguez, Carlos; Luis Esteban, Juan
1
2021
Are crossing dependencies really scarce? Zbl 1504.05285
Ferrer-i-Cancho, R.; Gómez-Rodríguez, C.; Esteban, J. L.
3
2018
A correction on Shiloach’s algorithm for minimum linear arrangement of trees. Zbl 1367.05033
Esteban, Juan Luis; Ferrer-i-Cancho, Ramon
4
2017
The scaling of the minimum sum of edge lengths in uniformly random trees. Zbl 1456.68128
Esteban, Juan Luis; Ferrer-i-Cancho, Ramon; Gómez-Rodríguez, Carlos
4
2016
On the complexity of resolution with bounded conjunctions. Zbl 1056.03036
Esteban, Juan Luis; Galesi, Nicola; Messner, Jochen
13
2004
A combinatorial characterization of treelike resolution space. Zbl 1161.68637
Esteban, Juan Luis; Torán, Jacobo
12
2003
Lower bounds for the weak pigeonhole principle and random formulas beyond resolution. Zbl 1012.03058
Atserias, Albert; Bonet, Maria Luisa; Esteban, Juan Luis
15
2002
On the complexity of resolution with bounded conjunctions (extended abstract). Zbl 1056.03503
Esteban, Juan Luis; Galesi, Nicola; Messner, Jochen
2
2002
Space bounds for resolution. Zbl 1005.03009
Esteban, Juan Luis; Torán, Jacobo
29
2001
Minimally unsatisfiable \(CNF\) formulas. Zbl 1018.68075
Baumer, Sven; Esteban, Juan Luis; Torán, Jacobo
3
2001
On the relative complexity of resolution refinements and cutting planes proof systems. Zbl 0976.03062
Bonet, Maria Luisa; Esteban, Juan Luis; Galesi, Nicola; Johannsen, Jan
28
2000
Space bounds for resolution. Zbl 0924.03020
Esteban, Juan Luis; Torán, Jacobo
4
1999
all cited Publications top 5 cited Publications
all top 5

Cited by 99 Authors

11 Galesi, Nicola
9 Lauria, Massimo
8 Beyersdorff, Olaf
8 Nordström, Jakob
7 Esteban, Juan Luis
6 Atserias, Albert
6 Ferrer i Cancho, Ramon
6 Razborov, Aleksandr Aleksandrovich
6 Torán, Jacobo
5 Pitassi, Toniann
4 Bonacina, Ilario
4 Vinyals, Marc
3 Alekhnovich, Michael
3 Alemany-Puig, Lluís
3 Mahajan, Meena
3 Thapen, Neil
3 Tzameret, Iddo
2 Beame, Paul W.
2 Buss, Samuel R.
2 Chattopadhyay, Arkadev
2 Chew, Leroy
2 Damaschke, Peter
2 Dantchev, Stefan Stoyanov
2 Filmus, Yuval
2 Gómez-Rodríguez, Carlos
2 Göös, Mika
2 Impagliazzo, Russell
2 Johannsen, Jan
2 Martin, Barnaby D.
2 Müller, Moritz
2 Sreenivasaiah, Karteek
2 Urquhart, Alasdair
2 Wörz, Florian
1 Alechina, Natasha
1 Alwen, Joël
1 Beck, Chris
1 Beckmann, Arnold
1 Bennett, Patrick
1 Berkholz, Christoph
1 Bläsius, Thomas
1 Bonet, Maria Luisa
1 Buresh-Oppenheim, Joshua
1 Connamacher, Harold S.
1 Dahiya, Yogesh
1 Dalmau, Víctor
1 de Rezende, Susanna F.
1 Elffers, Jan
1 Fleming, Noah
1 Friedrich, Tobias
1 Göbel, Andreas-Nikolas
1 Hinde, Luke
1 Hirsch, Edward A.
1 Hoffmann, Jan-Philipp
1 Huynh, Tony
1 Ihringer, Ferdinand
1 Janota, Mikoláš
1 Kautz, Henry A.
1 Kolokolova, Antonina
1 Koroth, Sajin
1 Koucký, Michal
1 Kurz, Sascha
1 Levy, Jordi
1 Loff, Bruno
1 Logan, Brian
1 Lovett, Shachar
1 Magnard, Thomas
1 Maneva, Elitza N.
1 Mertz, Ian
1 Messner, Jochen
1 Molloy, Michael S. O.
1 Mora, Mercè
1 Mukhopadhyay, Sagnik
1 Mull, Nathan
1 Nguyen, Hoang Nga
1 Oliva, Sergi
1 Pang, Shuo
1 Pankratov, Denis
1 Papamakarios, Theodoros
1 Pich, Ján
1 Rakib, Abdur
1 Raz, Ran
1 Riazanov, Artur
1 Robere, Robert
1 Rodríguez-Patón, Alfonso
1 Rothenberger, Ralf
1 Sainz de Murieta, Iñaki
1 Schleitzer, Agnes
1 Segerlind, Nathan
1 Selman, Bart
1 Seto, Kazuhisa
1 Şhukla, Anil K.
1 Sigley, Sarah
1 Smal, Alexander V.
1 Sosík, Petr
1 Szeider, Stefan
1 Talebanfard, Navid
1 Watson, Thomas
1 Wollan, Paul
1 Zito, Michele
all top 5

Cited in 25 Serials

9 Information Processing Letters
8 SIAM Journal on Computing
5 Information and Computation
4 Theoretical Computer Science
4 Computational Complexity
3 Journal of Computer and System Sciences
3 Annals of Pure and Applied Logic
3 Journal of Statistical Mechanics: Theory and Experiment
2 The Journal of Symbolic Logic
2 ACM Transactions on Computational Logic
1 Discrete Applied Mathematics
1 Physica A
1 Studia Logica
1 Synthese
1 Journal of Automated Reasoning
1 Random Structures & Algorithms
1 The Electronic Journal of Combinatorics
1 The Journal of Artificial Intelligence Research (JAIR)
1 The Bulletin of Symbolic Logic
1 Journal of the ACM
1 Annals of Mathematics. Second Series
1 Interdisciplinary Information Sciences (IIS)
1 RAIRO. Theoretical Informatics and Applications
1 Oberwolfach Reports
1 Journal of Satisfiability, Boolean Modeling and Computation
all top 5

Cited in 10 Fields

58 Computer science (68-XX)
53 Mathematical logic and foundations (03-XX)
10 Combinatorics (05-XX)
5 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 Operations research, mathematical programming (90-XX)
1 General and overarching topics; collections (00-XX)
1 Geometry (51-XX)
1 Probability theory and stochastic processes (60-XX)
1 Biology and other natural sciences (92-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year