×

zbMATH — the first resource for mathematics

Leyton-Brown, Kevin

Compute Distance To:
Author ID: leyton-brown.kevin Recent zbMATH articles by "Leyton-Brown, Kevin"
Published as: Leyton-Brown, K.; Leyton-Brown, Kevin
External Links: MGP · Wikidata · ORCID · GND
Documents Indexed: 26 Publications since 2001, including 2 Books

Publications by Year

Citations contained in zbMATH

23 Publications have been cited 355 times in 258 Documents Cited by Year
Multiagent systems. Algorithmic, game-theoretic, and logical foundations. Zbl 1163.91006
Shoham, Yoav; Leyton-Brown, Kevin
90
2009
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
58
2008
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
48
2009
Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185
Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
23
2014
Essentials of game theory. A concise, multidisciplinary introduction. Zbl 1203.91002
Leyton-Brown, Kevin; Shoham, Yoav
18
2008
Empirical hardness models, methodology and a case study on combinatorial auctions. Zbl 1325.68110
Leyton-Brown, Kevin; Nudelman, Eugene; Shoham, Yoav
16
2009
Understanding random SAT: Beyond the clauses-to-variables ratio. Zbl 1152.68569
Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav
15
2004
SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
13
2016
Action-graph games. Zbl 1205.91040
Jiang, Albert Xin; Leyton-Brown, Kevin; Bhat, Navin A. R.
12
2011
ASlib: a benchmark library for algorithm selection. Zbl 1357.68202
Bischl, Bernd; Kerschke, Pascal; Kotthoff, Lars; Lindauer, Marius; Malitsky, Yuri; Fréchette, Alexandre; Hoos, Holger; Hutter, Frank; Leyton-Brown, Kevin; Tierney, Kevin; Vanschoren, Joaquin
11
2016
Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions. Zbl 1214.91047
Rastegari, Baharak; Condon, Anne; Leyton-Brown, Kevin
7
2011
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
7
2006
The configurable SAT solver challenge (CSSC). Zbl 1402.68161
Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
6
2017
Polynomial-time computation of exact correlated equilibrium in compact games. Zbl 1318.91014
Jiang, Albert Xin; Leyton-Brown, Kevin
6
2015
Hierarchical hardness models for SAT. Zbl 1145.68534
Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
5
2007
Incentives for sharing in peer-to-peer networks. Zbl 1060.68682
Golle, Philippe; Leyton-Brown, Kevin; Mironov, Ilya; Lillibridge, Mark
5
2001
Predicting human behavior in unrepeated, simultaneous-move games. Zbl 1414.91099
Wright, James R.; Leyton-Brown, Kevin
3
2017
Computational analysis of perfect-information position auctions. Zbl 1409.91124
Thompson, David R. M.; Leyton-Brown, Kevin
3
2017
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
3
2017
Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 06855211
Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin
2
2018
Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches. Zbl 1206.68363
Hutter, Frank; Bartz-Beielstein, Thomas; Hoos, Holger H.; Leyton-Brown, Kevin; Murphy, Kevin P.
2
2010
Multilinear games. Zbl 1404.91036
Chan, Hau; Jiang, Albert Xin; Leyton-Brown, Kevin; Mehta, Ruta
1
2016
Stepwise randomized combinatorial auctions achieve revenue monotonicity. Zbl 1425.91204
Rastegari, Baharak; Condon, Anne; Leyton-Brown, Kevin
1
2009
Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 06855211
Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin
2
2018
The configurable SAT solver challenge (CSSC). Zbl 1402.68161
Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
6
2017
Predicting human behavior in unrepeated, simultaneous-move games. Zbl 1414.91099
Wright, James R.; Leyton-Brown, Kevin
3
2017
Computational analysis of perfect-information position auctions. Zbl 1409.91124
Thompson, David R. M.; Leyton-Brown, Kevin
3
2017
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
3
2017
SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
13
2016
ASlib: a benchmark library for algorithm selection. Zbl 1357.68202
Bischl, Bernd; Kerschke, Pascal; Kotthoff, Lars; Lindauer, Marius; Malitsky, Yuri; Fréchette, Alexandre; Hoos, Holger; Hutter, Frank; Leyton-Brown, Kevin; Tierney, Kevin; Vanschoren, Joaquin
11
2016
Multilinear games. Zbl 1404.91036
Chan, Hau; Jiang, Albert Xin; Leyton-Brown, Kevin; Mehta, Ruta
1
2016
Polynomial-time computation of exact correlated equilibrium in compact games. Zbl 1318.91014
Jiang, Albert Xin; Leyton-Brown, Kevin
6
2015
Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185
Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
23
2014
Action-graph games. Zbl 1205.91040
Jiang, Albert Xin; Leyton-Brown, Kevin; Bhat, Navin A. R.
12
2011
Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions. Zbl 1214.91047
Rastegari, Baharak; Condon, Anne; Leyton-Brown, Kevin
7
2011
Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches. Zbl 1206.68363
Hutter, Frank; Bartz-Beielstein, Thomas; Hoos, Holger H.; Leyton-Brown, Kevin; Murphy, Kevin P.
2
2010
Multiagent systems. Algorithmic, game-theoretic, and logical foundations. Zbl 1163.91006
Shoham, Yoav; Leyton-Brown, Kevin
90
2009
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
48
2009
Empirical hardness models, methodology and a case study on combinatorial auctions. Zbl 1325.68110
Leyton-Brown, Kevin; Nudelman, Eugene; Shoham, Yoav
16
2009
Stepwise randomized combinatorial auctions achieve revenue monotonicity. Zbl 1425.91204
Rastegari, Baharak; Condon, Anne; Leyton-Brown, Kevin
1
2009
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
58
2008
Essentials of game theory. A concise, multidisciplinary introduction. Zbl 1203.91002
Leyton-Brown, Kevin; Shoham, Yoav
18
2008
Hierarchical hardness models for SAT. Zbl 1145.68534
Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
5
2007
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
7
2006
Understanding random SAT: Beyond the clauses-to-variables ratio. Zbl 1152.68569
Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav
15
2004
Incentives for sharing in peer-to-peer networks. Zbl 1060.68682
Golle, Philippe; Leyton-Brown, Kevin; Mironov, Ilya; Lillibridge, Mark
5
2001
all top 5

Cited by 624 Authors

12 Leyton-Brown, Kevin
9 Hoos, Holger H.
8 Lindauer, Marius
8 Stützle, Thomas G.
6 Wooldridge, Michael J.
5 Gatti, Nicola
5 Hutter, Frank
5 Lewis, Frank Leroy
5 Smith-Miles, Kate A.
5 van Benthem, Johan F. A. K.
4 Pacuit, Eric
4 Tierney, Kevin
4 Yao, JingTao
3 Azam, Nouman
3 Baatar, Davaatseren
3 Basilico, Nicola
3 Coniglio, Stefano
3 Conitzer, Vincent
3 Harrenstein, Paul
3 Jiang, Albert Xin
3 Malitsky, Yuri
3 Manshaei, Mohammad Hossein
3 Marchesi, Alberto
3 Novikov, Dmitriĭ Aleksandrovich
3 Su, Kaile
3 Vamvoudakis, Kyriakos G.
2 Amadini, Roberto
2 Amigoni, Francesco
2 Balint, Adrian
2 Brandt, Felix
2 Brill, Markus
2 Burke, Edmund Kieran
2 Cai, Shaowei
2 Cerutti, Federico
2 Chandrasekaran, Karthekeyan
2 Dastani, Mehdi M.
2 de Causmaecker, Patrick
2 Dunning, Iain
2 Foerster, Jakob N.
2 Franzin, Alberto
2 Gabbrielli, Maurizio
2 Gagliolo, Matteo
2 Giacomin, Massimiliano
2 Gutierrez, Julian
2 Hottung, André
2 Jamroga, Wojciech
2 Janičić, Predrag
2 Jennings, Nicholas R.
2 Kangas, Kustaa
2 Koivisto, Mikko
2 Kotthoff, Lars
2 Kovács, Zoltán
2 Lanctot, Marc
2 Lodi, Andrea
2 Lombardi, Michele
2 López-Ibáñez, Manuel
2 Luo, Chuan
2 Malvone, Vadim
2 Marden, Jason R.
2 Mauro, Jacopo
2 Murano, Aniello
2 Ochoa, Gabriela
2 O’Sullivan, Barry
2 Pérez Cáceres, Leslie
2 Rothe, Jörg-Matthias
2 Roughgarden, Tim
2 Schaub, Torsten H.
2 Schmidhuber, Jürgen
2 Smets, Sonja J. L.
2 Soria-Alcaraz, Jorge A.
2 Tanaka, Shunji
2 Trystram, Denis R.
2 Vallati, Mauro
2 Vanschoren, Joaquin
2 Velázquez-Quesada, Fernando Raymundo
2 Xu, Lin
2 Zhang, Yan
1 Abouheaf, Mohammed I.
1 Ábrahám, Erika
1 Adib Yaghmaie, Farnaz
1 Adibi, Mehdi
1 Agmon, Noa
1 Ahmadinejad, AmirMahdi
1 Aiex, Renata M.
1 Akartunalı, Kerem
1 Al-Fagih, Luluwah
1 Al-Yahya, Tasniem Nasser
1 Alem, Douglas José
1 Alfaro-Fernández, Pedro
1 Alid-Vaccarezza, M.
1 Allouche, David
1 Aminof, Benjamin
1 An, Bo
1 Anders, Gerrit
1 Ansótegui, Carlos
1 Arbelaez, Alejandro
1 Asher, Nicholas M.
1 Aucher, Guillaume
1 Audemard, Gilles
1 Aurangzeb, Muhammad
...and 524 more Authors
all top 5

Cited in 77 Serials

37 Artificial Intelligence
19 European Journal of Operational Research
12 Annals of Mathematics and Artificial Intelligence
11 Computers & Operations Research
11 Games and Economic Behavior
8 Constraints
6 Journal of Automated Reasoning
6 Machine Learning
5 Automatica
5 Information Sciences
5 Automation and Remote Control
4 Algorithmica
4 Information and Computation
4 Annals of Operations Research
4 Journal of Logic, Language and Information
4 Economic Theory
3 Information Processing Letters
3 Theoretical Computer Science
3 Formal Methods in System Design
3 Journal of Heuristics
3 International Journal of Applied Mathematics and Computer Science
3 Theory and Practice of Logic Programming
3 Dynamic Games and Applications
2 Applied Mathematics and Computation
2 Journal of Economic Theory
2 Mathematics of Operations Research
2 Studia Logica
2 Synthese
2 Journal of Computer Science and Technology
2 International Journal of Approximate Reasoning
2 Theory of Computing Systems
2 Discrete Optimization
2 Optimization Letters
2 Games
2 Asian Journal of Control
2 Journal of Theoretical Biology
2 Journal of Logical and Algebraic Methods in Programming
1 Discrete Applied Mathematics
1 International Journal of Game Theory
1 Journal of Optimization Theory and Applications
1 Journal of Philosophical Logic
1 SIAM Journal on Computing
1 SIAM Journal on Control and Optimization
1 Mathematical Social Sciences
1 Annals of Pure and Applied Logic
1 Neural Computation
1 Journal of Intelligent & Robotic Systems
1 Journal of Global Optimization
1 International Journal of Computer Mathematics
1 Linear Algebra and its Applications
1 International Journal of Robust and Nonlinear Control
1 Cybernetics and Systems Analysis
1 Top
1 INFORMS Journal on Computing
1 Mathematical Problems in Engineering
1 Abstract and Applied Analysis
1 Journal of Combinatorial Optimization
1 Foundations of Science
1 Optimization and Engineering
1 International Game Theory Review
1 Electronic Commerce Research
1 Journal of Machine Learning Research (JMLR)
1 JMMA. Journal of Mathematical Modelling and Algorithms
1 Quantum Information Processing
1 Computational Intelligence
1 4OR
1 Computational Management Science
1
1 International Journal of Parallel, Emergent and Distributed Systems
1 Mathematics and Financial Economics
1 The Review of Symbolic Logic
1 Mathematical Programming Computation
1 Statistics and Computing
1 Decision Analysis
1 Frontiers of Computer Science
1 EURO Journal on Computational Optimization
1 Journal of Dynamics and Games

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.