Edit Profile Leyton-Brown, Kevin Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 0 single-authored 12 Hoos, Holger H. 8 Hutter, Frank 4 Lindauer, Marius 4 Shoham, Yoav 4 Xu, Lin 3 Jiang, Albert Xin 3 Wright, James Robert 2 Condon, Anne E. 2 Nudelman, Eugene 2 Rastegari, Baharak 1 Balint, Adrian 1 Bartz-Beielstein, Thomas 1 Bayless, Sam 1 Bhat, Navin A. R. 1 Bischl, Bernd 1 Chan, Hau 1 Devkar, Alex 1 Eggensperger, Katharina 1 Feldman, Michal 1 Fréchette, Alexandre 1 Gao, Xi Alice 1 Golle, Philippe 1 Hamadi, Youssef 1 Kerschke, Pascal 1 KhudaBukhsh, Ashiqur R. 1 Kotthoff, Lars 1 Lillibridge, Mark 1 Malitsky, Yuri 1 Mehta, Ruta 1 Mironov, Ilya 1 Murphy, Kevin P. 1 Schaub, Torsten H. 1 Stützle, Thomas G. 1 Thompson, David R. M. 1 Tierney, Kevin 1 Vanschoren, Joaquin all top 5 Serials 7 Artificial Intelligence 5 Games and Economic Behavior 3 The Journal of Artificial Intelligence Research (JAIR) 1 Machine Learning 1 Journal of the ACM 1 Synthesis Lectures on Artificial Intelligence and Machine Learning Fields 20 Computer science (68-XX) 11 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 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications 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.91006Shoham, Yoav; Leyton-Brown, Kevin 90 2009 SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K. 58 2008 Paramils: an automatic algorithm configuration framework. Zbl 1192.68831Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T. 48 2009 Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 23 2014 Essentials of game theory. A concise, multidisciplinary introduction. Zbl 1203.91002Leyton-Brown, Kevin; Shoham, Yoav 18 2008 Empirical hardness models, methodology and a case study on combinatorial auctions. Zbl 1325.68110Leyton-Brown, Kevin; Nudelman, Eugene; Shoham, Yoav 16 2009 Understanding random SAT: Beyond the clauses-to-variables ratio. Zbl 1152.68569Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav 15 2004 SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 13 2016 Action-graph games. Zbl 1205.91040Jiang, Albert Xin; Leyton-Brown, Kevin; Bhat, Navin A. R. 12 2011 ASlib: a benchmark library for algorithm selection. Zbl 1357.68202Bischl, 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.91047Rastegari, Baharak; Condon, Anne; Leyton-Brown, Kevin 7 2011 Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin 7 2006 The configurable SAT solver challenge (CSSC). Zbl 1402.68161Hutter, 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.91014Jiang, Albert Xin; Leyton-Brown, Kevin 6 2015 Hierarchical hardness models for SAT. Zbl 1145.68534Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 5 2007 Incentives for sharing in peer-to-peer networks. Zbl 1060.68682Golle, Philippe; Leyton-Brown, Kevin; Mironov, Ilya; Lillibridge, Mark 5 2001 Predicting human behavior in unrepeated, simultaneous-move games. Zbl 1414.91099Wright, James R.; Leyton-Brown, Kevin 3 2017 Computational analysis of perfect-information position auctions. Zbl 1409.91124Thompson, David R. M.; Leyton-Brown, Kevin 3 2017 Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten 3 2017 Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 06855211Eggensperger, 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.68363Hutter, Frank; Bartz-Beielstein, Thomas; Hoos, Holger H.; Leyton-Brown, Kevin; Murphy, Kevin P. 2 2010 Multilinear games. Zbl 1404.91036Chan, Hau; Jiang, Albert Xin; Leyton-Brown, Kevin; Mehta, Ruta 1 2016 Stepwise randomized combinatorial auctions achieve revenue monotonicity. Zbl 1425.91204Rastegari, Baharak; Condon, Anne; Leyton-Brown, Kevin 1 2009 Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 06855211Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin 2 2018 The configurable SAT solver challenge (CSSC). Zbl 1402.68161Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin 6 2017 Predicting human behavior in unrepeated, simultaneous-move games. Zbl 1414.91099Wright, James R.; Leyton-Brown, Kevin 3 2017 Computational analysis of perfect-information position auctions. Zbl 1409.91124Thompson, David R. M.; Leyton-Brown, Kevin 3 2017 Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten 3 2017 SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 13 2016 ASlib: a benchmark library for algorithm selection. Zbl 1357.68202Bischl, 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.91036Chan, Hau; Jiang, Albert Xin; Leyton-Brown, Kevin; Mehta, Ruta 1 2016 Polynomial-time computation of exact correlated equilibrium in compact games. Zbl 1318.91014Jiang, Albert Xin; Leyton-Brown, Kevin 6 2015 Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 23 2014 Action-graph games. Zbl 1205.91040Jiang, Albert Xin; Leyton-Brown, Kevin; Bhat, Navin A. R. 12 2011 Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions. Zbl 1214.91047Rastegari, Baharak; Condon, Anne; Leyton-Brown, Kevin 7 2011 Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches. Zbl 1206.68363Hutter, 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.91006Shoham, Yoav; Leyton-Brown, Kevin 90 2009 Paramils: an automatic algorithm configuration framework. Zbl 1192.68831Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T. 48 2009 Empirical hardness models, methodology and a case study on combinatorial auctions. Zbl 1325.68110Leyton-Brown, Kevin; Nudelman, Eugene; Shoham, Yoav 16 2009 Stepwise randomized combinatorial auctions achieve revenue monotonicity. Zbl 1425.91204Rastegari, Baharak; Condon, Anne; Leyton-Brown, Kevin 1 2009 SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K. 58 2008 Essentials of game theory. A concise, multidisciplinary introduction. Zbl 1203.91002Leyton-Brown, Kevin; Shoham, Yoav 18 2008 Hierarchical hardness models for SAT. Zbl 1145.68534Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 5 2007 Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin 7 2006 Understanding random SAT: Beyond the clauses-to-variables ratio. Zbl 1152.68569Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav 15 2004 Incentives for sharing in peer-to-peer networks. Zbl 1060.68682Golle, Philippe; Leyton-Brown, Kevin; Mironov, Ilya; Lillibridge, Mark 5 2001 all cited Publications top 5 cited Publications 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 all top 5 Cited in 18 Fields 144 Computer science (68-XX) 102 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 80 Operations research, mathematical programming (90-XX) 27 Mathematical logic and foundations (03-XX) 14 Systems theory; control (93-XX) 9 Combinatorics (05-XX) 7 Statistics (62-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 3 General and overarching topics; collections (00-XX) 3 Biology and other natural sciences (92-XX) 2 Probability theory and stochastic processes (60-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Geometry (51-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Mathematics education (97-XX) 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.