Edit Profile (opens in new tab) Walsh, Toby Co-Author Distance Author ID: walsh.toby Published as: Walsh, Toby; Walsh, T. External Links: MGP · ORCID · dblp Documents Indexed: 110 Publications since 1989 12 Contributions as Editor Co-Authors: 104 Co-Authors with 108 Joint Publications 2,027 Co-Co-Authors all top 5 Co-Authors 13 single-authored 14 Bessiere, Christian 14 Hebrard, Emmanuel 14 Hnich, Brahim 12 Narodytska, Nina 11 Gent, Ian Philip 10 Rossi, Francesca 9 Kiziltan, Zeynep 9 Venable, Kristen Brent 8 Quimper, Claude-Guy 7 Katsirelos, George 6 Aziz, Haris 6 Drescher, Christian 5 Aleksandrov, Martin 5 Giunchiglia, Fausto 5 Pini, Maria Silvia 5 Stergiou, Kostas 4 Bundy, Alan 4 Frisch, Alan M. 4 Miguel, Ian 3 Bacchus, Fahiem 3 Basin, David A. 3 Gaspers, Serge 3 Niedermeier, Rolf 3 van Maaren, Hans 3 Xia, Lirong 2 Biere, Armin 2 Conitzer, Vincent 2 Gelain, Mirco 2 Grandi, Umberto 2 Heule, Marijn J. H. 2 Law, Yat Chiu 2 Lee, Jimmy Ho-man 2 Loreggia, Andrea 2 MacKenzie, Simon 2 Mattei, Nicholas 2 Prosser, Patrick 2 Siala, Mohamed 2 Smith, Barbara M. 2 Sorge, Manuel 2 Stuckey, Peter James 2 van Beek, Peter J. L. 2 van Bevern, René 1 Artigues, Christian 1 Bajer, Anetta M. 1 Balafoutis, Thanasis 1 Brand, Sebastian 1 Bredereck, Robert 1 Brill, Markus 1 Cahan, Casey 1 Carbonnel, Clément 1 Chen, Jiehua 1 Chen, Xinguang 1 Chircop, Paul A. 1 Choueiry, Berthe Y. 1 Colton, Simon 1 Davies, Jessica Katharine 1 Demkowicz, Leszek F. 1 Domshlak, Carmel 1 Dries, Anton 1 Eiter, Thomas 1 Elkind, Edith 1 Fink, Michael 1 Fischetti, Matteo 1 Frank, Jeremy 1 Freeman, Rupert 1 Garcia de la Banda, Maria 1 Gerdes, Klaus 1 Giunchiglia, Enrico 1 Goldberg, Paul W. 1 Gretton, Charles 1 Haim, Shai 1 Kalinowski, Thomas 1 Kilby, Philip 1 Komusiewicz, Christian 1 Komusiwicz, Christian 1 Krennwallner, Thomas 1 Liberti, Leo 1 Macintyre, Ewan 1 Maher, Michael J. 1 Manandhar, Suresh 1 Marriott, Kim 1 Mayer-Eichberger, Valentin 1 Ménard, Marc-André 1 Molter, Hendrik 1 Nunes, Alex 1 Paparrizou, Anastasia 1 Petit, Thierry 1 Pilotto, Enrico 1 Prestwich, Steven D. 1 Russell, Tyrel 1 Salvagnin, Domenico 1 Schwab, Christoph 1 Sebastiani, Roberto 1 Sheridan, Daniel 1 Slaney, John K. 1 Somogyi, Zoltan 1 Stursberg, Paul 1 Surendonk, Timothy J. 1 Takenaga, Yasuhiko 1 Tarim, S. Armagan ...and 8 more Co-Authors all top 5 Serials 18 Artificial Intelligence 7 Constraints 6 Journal of Automated Reasoning 6 The Journal of Artificial Intelligence Research (JAIR) 5 Lecture Notes in Computer Science 3 Annals of Operations Research 3 Frontiers in Artificial Intelligence and Applications 2 Information Processing Letters 2 Algorithms 1 Discrete Applied Mathematics 1 Social Choice and Welfare 1 AI Communications 1 Journal of Logic and Computation 1 International Journal of Human-Computer Studies 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Heuristics 1 Computing and Visualization in Science 1 Theory and Practice of Logic Programming 1 Foundations of Artificial Intelligence all top 5 Fields 103 Computer science (68-XX) 30 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 16 Operations research, mathematical programming (90-XX) 11 General and overarching topics; collections (00-XX) 5 Mathematical logic and foundations (03-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 101 Publications have been cited 1,047 times in 842 Documents Cited by ▼ Year ▼ Handbook of satisfiability. Zbl 1183.68568 212 2009 Handbook of constraint programming. Zbl 1175.90011 181 2006 SAT \(v\) CSP. Zbl 1044.68808Walsh, Toby 35 2000 A theory of abstraction. Zbl 0762.68054Giunchiglia, Fausto; Walsh, Toby 30 1992 Random constraint satisfaction: Flaws and structure. Zbl 0992.68193Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby 30 2001 Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby 26 2006 Justified representation in approval-based committee voting. Zbl 1392.91030Aziz, Haris; Brill, Markus; Conitzer, Vincent; Elkind, Edith; Freeman, Rupert; Walsh, Toby 25 2017 HP90: A general and flexible Fortran 90 \(hp\)-FE code. Zbl 0912.68014Demkowicz, L.; Gerdes, K.; Schwab, C.; Bajer, A.; Walsh, T. 23 1998 Easy problems are sometimes hard. Zbl 0824.68107Gent, Ian P.; Walsh, Toby 22 1994 Incompleteness and incomparability in preference aggregation: complexity results. Zbl 1225.68257Pini, M. S.; Rossi, F.; Venable, K. B.; Walsh, T. 19 2011 The TSP phase transition. Zbl 0907.68177Gent, Ian P.; Walsh, Toby 19 1996 Decomposing global Grammar constraints. Zbl 1145.68529Quimper, Claude-Guy; Walsh, Toby 16 2007 Barriers to manipulation in voting. Zbl 1448.91097Conitzer, Vincent; Walsh, Toby 15 2016 Global grammar constraints. Zbl 1160.68560Quimper, Claude-Guy; Walsh, Toby 15 2006 Fair assignment of indivisible objects under ordinal preferences. Zbl 1346.68106Aziz, Haris; Gaspers, Serge; Mackenzie, Simon; Walsh, Toby 15 2015 Aggregating partially ordered preferences. Zbl 1162.91343Pini, Maria Silvia; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby 15 2009 Complexity of and algorithms for the manipulation of Borda, Nanson’s and Baldwin’s voting rules. Zbl 1408.91065Davies, Jessica; Katsirelos, George; Narodytska, Nina; Walsh, Toby; Xia, Lirong 14 2014 The tractability of global constraints. Zbl 1152.68542Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby 13 2004 Where are the hard manipulation problems? Zbl 1234.68391Walsh, T. 12 2011 Domain filtering consistencies for non-binary constraints. Zbl 1182.68218Bessiere, Christian; Stergiou, Kostas; Walsh, Toby 11 2008 Hard and soft constraints for reasoning about qualitative conditional preferences. Zbl 1125.68410Domshlak, C.; Prestwich, S.; Rossi, F.; Venable, K. B.; Walsh, T. 11 2006 Singleton consistencies. Zbl 1044.68790Prosser, Patrick; Stergiou, Kostas; Walsh, Toby 11 2000 Permutation problems and channelling constraints. Zbl 1273.68365Walsh, Toby 10 2001 Encodings of the Sequence constraint. Zbl 1145.68507Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby 10 2007 Propagation algorithms for lexicographic ordering constraints. Zbl 1131.68521Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby 10 2006 Super solutions in constraint programming. Zbl 1094.68645Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby 10 2004 An empirical analysis of search in GSAT. Zbl 0900.68178Gent, I. P.; Walsh, T. 9 1993 The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby 9 2005 General symmetry breaking constraints. Zbl 1160.68571Walsh, Toby 9 2006 Difference matching. Zbl 0925.68401Basin, David; Walsh, Toby 9 1992 On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621Colton, Simon; Bundy, Alan; Walsh, Toby 9 2000 CGRASS: A system for transforming constraint satisfaction problems. Zbl 1023.68668Frisch, Alan M.; Miguel, Ian; Walsh, Toby 9 2003 Manipulating tournaments in cup and round robin competitions. Zbl 1260.68184Russell, Tyrel; Walsh, Toby 8 2009 The complexity of reasoning with global constraints. Zbl 1124.68103Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby 8 2007 Dual modelling of permutation and injection problems. Zbl 1080.68667Hnich, Brahim; Smith, Barbara M.; Walsh, Toby 8 2004 A divergence critic for inductive proof. Zbl 0900.68383Walsh, T. 7 1996 Filtering algorithms for the NValue constraint. Zbl 1114.68064Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 7 2006 The use of proof plans to sum series. Zbl 0925.03072Walsh, Toby; Nunes, Alex; Bundy, Alan 7 1992 Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies. Zbl 1207.68354Gelain, Mirco; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby 7 2010 Filtering algorithms for the NValue constraint. Zbl 1133.68427Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 7 2005 Symmetry-breaking answer set solving. Zbl 1215.68212Drescher, Christian; Tifrea, Oana; Walsh, Toby 6 2011 SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028 6 2000 Abstract theorem proving. Zbl 0708.68066Giunchiglia, Fausto; Walsh, Toby 6 1989 Breaking symmetry of interchangeable variables and values. Zbl 1145.68521Law, Y. C.; Lee, J. H. M.; Walsh, Toby; Yip, J. Y. K. 6 2007 A translational approach to constraint answer set solving. Zbl 1209.68511Drescher, Christian; Walsh, Toby 6 2010 Binary vs. non-binary constraints. Zbl 0999.68201Bacchus, Fahiem; Chen, Xinguang; van Beek, Peter; Walsh, Toby 6 2002 Fixing balanced knockout and double elimination tournaments. Zbl 1451.68129Aziz, Haris; Gaspers, Serge; Mackenzie, Simon; Mattei, Nicholas; Stursberg, Paul; Walsh, Toby 5 2018 Stability, optimality and manipulation in matching problems with weighted preferences. Zbl 1461.05170Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby 5 2013 New algorithms for max restricted path consistency. Zbl 1241.68098Balafoutis, Thanasis; Paparrizou, Anastasia; Stergiou, Kostas; Walsh, Toby 5 2011 A calculus for and termination of rippling. Zbl 0847.68105Basin, David A.; Walsh, Toby 5 1996 Solving non-clausal formulas with DPLL search. Zbl 1152.68588Thiffault, Christian; Bacchus, Fahiem; Walsh, Toby 5 2004 The computational impact of partial votes on strategic voting. Zbl 1366.91084Narodytska, Nina; Walsh, Toby 4 2014 Local consistencies in SAT. Zbl 1204.68184Bessière, Christian; Hebrard, Emmanuel; Walsh, Toby 4 2004 Online cake cutting. Zbl 1233.68196Walsh, Toby 4 2011 Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby 4 1997 Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Zbl 1077.68002 4 2005 Among, common and disjoint constraints. Zbl 1180.68244Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 4 2006 A study of proxies for Shapley allocations of transport costs. Zbl 1378.91011Aziz, Haris; Cahan, Casey; Gretton, Charles; Kilby, Philip; Mattei, Nicholas; Walsh, Toby 3 2016 Local search approaches in stable matching problems. Zbl 1461.05163Gelain, Mirco; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby 3 2013 Restricted manipulation in iterative voting: Condorcet efficiency and Borda score. Zbl 1406.91107Grandi, Umberto; Loreggia, Andrea; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby 3 2013 Combining symmetry breaking and global constraints. Zbl 1248.68457Katsirelos, George; Narodytska, Nina; Walsh, Toby 3 2009 Filtering algorithms for the multiset ordering constraint. Zbl 1191.68633Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby 3 2009 Is computational complexity a barrier to manipulation? Zbl 1230.91044Walsh, Toby 3 2011 Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001 3 2021 Online estimation of SAT solving runtime. Zbl 1138.68540Haim, Shai; Walsh, Toby 3 2008 Tetravex is NP-complete. Zbl 1185.68354Takenaga, Yasuhiko; Walsh, Toby 3 2006 Consistency and propagation with multiset constraints: a formal viewpoint. Zbl 1273.68364Walsh, Toby 3 2003 The all different and global cardinality constraints on set, multiset and tuple variables. Zbl 1180.68249Quimper, Claude-Guy; Walsh, Toby 3 2006 A fixpoint based encoding for bounded model checking. Zbl 1019.68590Frisch, Alan; Sheridan, Daniel; Walsh, Toby 3 2002 The satisfiability constraint gap. Zbl 1508.68330Gent, Ian P.; Walsh, Toby 3 1996 \(\mathrm{H}\)-index manipulation by merging articles: models, theory, and experiments. Zbl 1386.68076van Bevern, René; Komusiewicz, Christian; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby 2 2016 A divergence critic. Zbl 1433.68571Walsh, Toby 2 1994 Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study. Zbl 1338.68103Frank, Jeremy; Gent, Ian P.; Walsh, Toby 2 1998 The AllDifferent constraint with precedences. Zbl 1326.68266Bessiere, Christian; Narodytska, Nina; Quimper, Claude-Guy; Walsh, Toby 2 2011 Calculating criticalities. Zbl 0906.68138Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T. 2 1996 The ROOTS constraint. Zbl 1160.68539Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 2 2006 Parameterized complexity results in symmetry breaking. Zbl 1309.68104Walsh, Toby 2 2010 Principles and practice of constraint programming – CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Zbl 0984.00059 2 2001 Reformulating propositional satisfiability as constraint satisfaction. Zbl 0989.68526Walsh, Toby 2 2000 Answer set solving with lazy nogood generation. Zbl 1281.68178Drescher, Christian; Walsh, Toby 2 2012 Reformulating global grammar constraints. Zbl 1241.68102Katsirelos, George; Narodytska, Nina; Walsh, Toby 2 2009 Orbital shrinking: theory and applications. Zbl 1406.90081Fischetti, Matteo; Liberti, Leo; Salvagnin, Domenico; Walsh, Toby 1 2017 Termination orderings for rippling. Zbl 1433.68187Basin, David A.; Walsh, Toby 1 1994 Equilibria in sequential allocation. Zbl 1398.91361Aziz, Haris; Goldberg, Paul; Walsh, Toby 1 2017 Parliamentary voting procedures: agenda control, manipulation, and uncertainty. Zbl 1417.91183Bredereck, Robert; Chen, Jiehua; Niedermeier, Rolf; Walsh, Toby 1 2017 Three generalizations of the FOCUS constraint. Zbl 1368.90110Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby 1 2016 h-index manipulation by undoing merges. Zbl 1394.68194van Bevern, René; Komusiwicz, Christian; Molter, Hendrik; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby 1 2016 The inevitability of inconsistent abstract spaces. Zbl 0784.68075Giunchiglia, Fausto; Walsh, Toby 1 1993 Modelling grammar constraints with answer set programming. Zbl 1245.68173Drescher, Christian; Walsh, Toby 1 2011 Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints. Zbl 1186.68432Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 1 2009 Symmetries of symmetry breaking constraints. Zbl 1211.68384Katsirelos, George; Walsh, Toby 1 2010 The weighted grammar constraint. Zbl 1230.68110Katsirelos, George; Narodytska, Nina; Walsh, Toby 1 2011 Special issue: Satisfiability in the year 2000. Zbl 0956.00015 1 2000 Hybrid modelling for robust solving. Zbl 1156.90474Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby 1 2004 Group envy freeness and group Pareto efficiency in fair division with indivisible items. Zbl 07667436Aleksandrov, Martin; Walsh, Toby 1 2018 Expected outcomes and manipulations in online fair division. Zbl 1498.68374Aleksandrov, Martin; Walsh, Toby 1 2017 The weighted CFG constraint. Zbl 1142.68515Katsirelos, George; Narodytska, Nina; Walsh, Toby 1 2008 Buffered resource constraint: algorithms and complexity. Zbl 1407.68447Bessiere, Christian; Hebrard, Emmanuel; Ménard, Marc-André; Quimper, Claude-Guy; Walsh, Toby 1 2014 Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Zbl 1368.68008 1 2017 The range constraint: Algorithms and implementation. Zbl 1177.68182Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 1 2006 Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Zbl 1456.68001 3 2021 Fixing balanced knockout and double elimination tournaments. Zbl 1451.68129Aziz, Haris; Gaspers, Serge; Mackenzie, Simon; Mattei, Nicholas; Stursberg, Paul; Walsh, Toby 5 2018 Group envy freeness and group Pareto efficiency in fair division with indivisible items. Zbl 07667436Aleksandrov, Martin; Walsh, Toby 1 2018 Justified representation in approval-based committee voting. Zbl 1392.91030Aziz, Haris; Brill, Markus; Conitzer, Vincent; Elkind, Edith; Freeman, Rupert; Walsh, Toby 25 2017 Orbital shrinking: theory and applications. Zbl 1406.90081Fischetti, Matteo; Liberti, Leo; Salvagnin, Domenico; Walsh, Toby 1 2017 Equilibria in sequential allocation. Zbl 1398.91361Aziz, Haris; Goldberg, Paul; Walsh, Toby 1 2017 Parliamentary voting procedures: agenda control, manipulation, and uncertainty. Zbl 1417.91183Bredereck, Robert; Chen, Jiehua; Niedermeier, Rolf; Walsh, Toby 1 2017 Expected outcomes and manipulations in online fair division. Zbl 1498.68374Aleksandrov, Martin; Walsh, Toby 1 2017 Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Zbl 1368.68008 1 2017 Barriers to manipulation in voting. Zbl 1448.91097Conitzer, Vincent; Walsh, Toby 15 2016 A study of proxies for Shapley allocations of transport costs. Zbl 1378.91011Aziz, Haris; Cahan, Casey; Gretton, Charles; Kilby, Philip; Mattei, Nicholas; Walsh, Toby 3 2016 \(\mathrm{H}\)-index manipulation by merging articles: models, theory, and experiments. Zbl 1386.68076van Bevern, René; Komusiewicz, Christian; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby 2 2016 Three generalizations of the FOCUS constraint. Zbl 1368.90110Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby 1 2016 h-index manipulation by undoing merges. Zbl 1394.68194van Bevern, René; Komusiwicz, Christian; Molter, Hendrik; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby 1 2016 Fair assignment of indivisible objects under ordinal preferences. Zbl 1346.68106Aziz, Haris; Gaspers, Serge; Mackenzie, Simon; Walsh, Toby 15 2015 Complexity of and algorithms for the manipulation of Borda, Nanson’s and Baldwin’s voting rules. Zbl 1408.91065Davies, Jessica; Katsirelos, George; Narodytska, Nina; Walsh, Toby; Xia, Lirong 14 2014 The computational impact of partial votes on strategic voting. Zbl 1366.91084Narodytska, Nina; Walsh, Toby 4 2014 Buffered resource constraint: algorithms and complexity. Zbl 1407.68447Bessiere, Christian; Hebrard, Emmanuel; Ménard, Marc-André; Quimper, Claude-Guy; Walsh, Toby 1 2014 Stability, optimality and manipulation in matching problems with weighted preferences. Zbl 1461.05170Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby 5 2013 Local search approaches in stable matching problems. Zbl 1461.05163Gelain, Mirco; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby 3 2013 Restricted manipulation in iterative voting: Condorcet efficiency and Borda score. Zbl 1406.91107Grandi, Umberto; Loreggia, Andrea; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby 3 2013 Answer set solving with lazy nogood generation. Zbl 1281.68178Drescher, Christian; Walsh, Toby 2 2012 Combining voting rules together. Zbl 1327.91029Narodytska, Nina; Walsh, Toby; Xia, Lirong 1 2012 Incompleteness and incomparability in preference aggregation: complexity results. Zbl 1225.68257Pini, M. S.; Rossi, F.; Venable, K. B.; Walsh, T. 19 2011 Where are the hard manipulation problems? Zbl 1234.68391Walsh, T. 12 2011 Symmetry-breaking answer set solving. Zbl 1215.68212Drescher, Christian; Tifrea, Oana; Walsh, Toby 6 2011 New algorithms for max restricted path consistency. Zbl 1241.68098Balafoutis, Thanasis; Paparrizou, Anastasia; Stergiou, Kostas; Walsh, Toby 5 2011 Online cake cutting. Zbl 1233.68196Walsh, Toby 4 2011 Is computational complexity a barrier to manipulation? Zbl 1230.91044Walsh, Toby 3 2011 The AllDifferent constraint with precedences. Zbl 1326.68266Bessiere, Christian; Narodytska, Nina; Quimper, Claude-Guy; Walsh, Toby 2 2011 Modelling grammar constraints with answer set programming. Zbl 1245.68173Drescher, Christian; Walsh, Toby 1 2011 The weighted grammar constraint. Zbl 1230.68110Katsirelos, George; Narodytska, Nina; Walsh, Toby 1 2011 Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies. Zbl 1207.68354Gelain, Mirco; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby 7 2010 A translational approach to constraint answer set solving. Zbl 1209.68511Drescher, Christian; Walsh, Toby 6 2010 Parameterized complexity results in symmetry breaking. Zbl 1309.68104Walsh, Toby 2 2010 Symmetries of symmetry breaking constraints. Zbl 1211.68384Katsirelos, George; Walsh, Toby 1 2010 Handbook of satisfiability. Zbl 1183.68568 212 2009 Aggregating partially ordered preferences. Zbl 1162.91343Pini, Maria Silvia; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby 15 2009 Manipulating tournaments in cup and round robin competitions. Zbl 1260.68184Russell, Tyrel; Walsh, Toby 8 2009 Combining symmetry breaking and global constraints. Zbl 1248.68457Katsirelos, George; Narodytska, Nina; Walsh, Toby 3 2009 Filtering algorithms for the multiset ordering constraint. Zbl 1191.68633Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby 3 2009 Reformulating global grammar constraints. Zbl 1241.68102Katsirelos, George; Narodytska, Nina; Walsh, Toby 2 2009 Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints. Zbl 1186.68432Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 1 2009 Domain filtering consistencies for non-binary constraints. Zbl 1182.68218Bessiere, Christian; Stergiou, Kostas; Walsh, Toby 11 2008 Online estimation of SAT solving runtime. Zbl 1138.68540Haim, Shai; Walsh, Toby 3 2008 The weighted CFG constraint. Zbl 1142.68515Katsirelos, George; Narodytska, Nina; Walsh, Toby 1 2008 Decomposing global Grammar constraints. Zbl 1145.68529Quimper, Claude-Guy; Walsh, Toby 16 2007 Encodings of the Sequence constraint. Zbl 1145.68507Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby 10 2007 The complexity of reasoning with global constraints. Zbl 1124.68103Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby 8 2007 Breaking symmetry of interchangeable variables and values. Zbl 1145.68521Law, Y. C.; Lee, J. H. M.; Walsh, Toby; Yip, J. Y. K. 6 2007 Handbook of constraint programming. Zbl 1175.90011 181 2006 Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby 26 2006 Global grammar constraints. Zbl 1160.68560Quimper, Claude-Guy; Walsh, Toby 15 2006 Hard and soft constraints for reasoning about qualitative conditional preferences. Zbl 1125.68410Domshlak, C.; Prestwich, S.; Rossi, F.; Venable, K. B.; Walsh, T. 11 2006 Propagation algorithms for lexicographic ordering constraints. Zbl 1131.68521Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby 10 2006 General symmetry breaking constraints. Zbl 1160.68571Walsh, Toby 9 2006 Filtering algorithms for the NValue constraint. Zbl 1114.68064Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 7 2006 Among, common and disjoint constraints. Zbl 1180.68244Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 4 2006 Tetravex is NP-complete. Zbl 1185.68354Takenaga, Yasuhiko; Walsh, Toby 3 2006 The all different and global cardinality constraints on set, multiset and tuple variables. Zbl 1180.68249Quimper, Claude-Guy; Walsh, Toby 3 2006 The ROOTS constraint. Zbl 1160.68539Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 2 2006 The range constraint: Algorithms and implementation. Zbl 1177.68182Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 1 2006 The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby 9 2005 Filtering algorithms for the NValue constraint. Zbl 1133.68427Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 7 2005 Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Zbl 1077.68002 4 2005 The tractability of global constraints. Zbl 1152.68542Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby 13 2004 Super solutions in constraint programming. Zbl 1094.68645Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby 10 2004 Dual modelling of permutation and injection problems. Zbl 1080.68667Hnich, Brahim; Smith, Barbara M.; Walsh, Toby 8 2004 Solving non-clausal formulas with DPLL search. Zbl 1152.68588Thiffault, Christian; Bacchus, Fahiem; Walsh, Toby 5 2004 Local consistencies in SAT. Zbl 1204.68184Bessière, Christian; Hebrard, Emmanuel; Walsh, Toby 4 2004 Hybrid modelling for robust solving. Zbl 1156.90474Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby 1 2004 CGRASS: A system for transforming constraint satisfaction problems. Zbl 1023.68668Frisch, Alan M.; Miguel, Ian; Walsh, Toby 9 2003 Consistency and propagation with multiset constraints: a formal viewpoint. Zbl 1273.68364Walsh, Toby 3 2003 Binary vs. non-binary constraints. Zbl 0999.68201Bacchus, Fahiem; Chen, Xinguang; van Beek, Peter; Walsh, Toby 6 2002 A fixpoint based encoding for bounded model checking. Zbl 1019.68590Frisch, Alan; Sheridan, Daniel; Walsh, Toby 3 2002 Random constraint satisfaction: Flaws and structure. Zbl 0992.68193Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby 30 2001 Permutation problems and channelling constraints. Zbl 1273.68365Walsh, Toby 10 2001 Principles and practice of constraint programming – CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Zbl 0984.00059 2 2001 SAT \(v\) CSP. Zbl 1044.68808Walsh, Toby 35 2000 Singleton consistencies. Zbl 1044.68790Prosser, Patrick; Stergiou, Kostas; Walsh, Toby 11 2000 On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621Colton, Simon; Bundy, Alan; Walsh, Toby 9 2000 SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028 6 2000 Reformulating propositional satisfiability as constraint satisfaction. Zbl 0989.68526Walsh, Toby 2 2000 Special issue: Satisfiability in the year 2000. Zbl 0956.00015 1 2000 HP90: A general and flexible Fortran 90 \(hp\)-FE code. Zbl 0912.68014Demkowicz, L.; Gerdes, K.; Schwab, C.; Bajer, A.; Walsh, T. 23 1998 Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study. Zbl 1338.68103Frank, Jeremy; Gent, Ian P.; Walsh, Toby 2 1998 Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby 4 1997 The TSP phase transition. Zbl 0907.68177Gent, Ian P.; Walsh, Toby 19 1996 A divergence critic for inductive proof. Zbl 0900.68383Walsh, T. 7 1996 A calculus for and termination of rippling. Zbl 0847.68105Basin, David A.; Walsh, Toby 5 1996 The satisfiability constraint gap. Zbl 1508.68330Gent, Ian P.; Walsh, Toby 3 1996 Calculating criticalities. Zbl 0906.68138Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T. 2 1996 Easy problems are sometimes hard. Zbl 0824.68107Gent, Ian P.; Walsh, Toby 22 1994 A divergence critic. Zbl 1433.68571Walsh, Toby 2 1994 Termination orderings for rippling. Zbl 1433.68187Basin, David A.; Walsh, Toby 1 1994 An empirical analysis of search in GSAT. Zbl 0900.68178Gent, I. P.; Walsh, T. 9 1993 The inevitability of inconsistent abstract spaces. Zbl 0784.68075Giunchiglia, Fausto; Walsh, Toby 1 1993 A theory of abstraction. Zbl 0762.68054Giunchiglia, Fausto; Walsh, Toby 30 1992 Difference matching. Zbl 0925.68401Basin, David; Walsh, Toby 9 1992 The use of proof plans to sum series. Zbl 0925.03072Walsh, Toby; Nunes, Alex; Bundy, Alan 7 1992 ...and 1 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,482 Authors 33 Walsh, Toby 17 Marques-Silva, João P. 14 Stuckey, Peter James 13 Gent, Ian Philip 13 Rossi, Francesca 12 Hnich, Brahim 11 Živný, Stanislav 10 Cohen, David A. 10 Jeavons, Peter G. 10 Nightingale, Peter W. 10 Rothe, Jörg-Matthias 10 Schaub, Torsten H. 9 Bessiere, Christian 9 Gebser, Martin 9 Lee, Jimmy Ho-man 9 Prestwich, Steven D. 9 Szeider, Stefan 9 Venable, Kristen Brent 9 Wallace, Mark G. 9 Weidenbach, Christoph 8 Biere, Armin 8 Järvisalo, Matti 8 Rossi, Roberto 8 Skowron, Piotr 8 Tarim, S. Armagan 7 Bundy, Alan 7 Faliszewski, Piotr 7 Garcia de la Banda, Maria 7 Ignatyev, Alexey A. 7 Pini, Maria Silvia 7 Rousseau, Louis-Martin 7 Semenov, Aleksandr Anatol’evich 6 Cadoli, Marco 6 Gendron, Bernard 6 Hebrard, Emmanuel 6 Janota, Mikoláš 6 Jefferson, Christopher 6 Katsirelos, George 6 Kullmann, Oliver 6 Lecoutre, Christophe 6 Miguel, Ian 6 Stergiou, Kostas 5 Ábrahám, Erika 5 Aziz, Haris 5 Banbara, Mutsunori 5 Bofill, Miquel 5 Cooper, Martin C. 5 Dechter, Rina 5 Demoen, Bart 5 Dey, Palash 5 Elkind, Edith 5 Guns, Tias 5 Heule, Marijn J. H. 5 Hoos, Holger H. 5 Law, Yat Chiu 5 Lierler, Yuliya 5 Mears, Christopher 5 Mencía, Carlos 5 Milano, Michela 5 Narodytska, Nina 5 Nijssen, Siegfried 5 O’Sullivan, Barry 5 Sebastiani, Roberto 5 Segal-Halevi, Erel 5 Seidl, Martina 5 Suksompong, Warut 5 Villaret, Mateu 5 Yin, Minghao 5 Zaikin, Oleg Sergeevich 4 Akgün, Özgür 4 Ansótegui, Carlos 4 Beldiceanu, Nicolas 4 Berend, Daniel 4 Caragiannis, Ioannis 4 Czarnecki, Krzysztof 4 de Givry, Simon 4 Dorn, Britta 4 Eiter, Thomas 4 Ganesh, Vijay 4 Gao, Yong 4 Giunchiglia, Fausto 4 Grandi, Umberto 4 Hogg, Tad 4 Ireland, Andrew 4 Kaufmann, Benjamin 4 Kochemazov, Stepan 4 Kotsireas, Ilias S. 4 Krokhin, Andrei A. 4 Lombardi, Michele 4 Lonsing, Florian 4 Lynce, Inês 4 Mancini, Toni 4 Manurangsi, Pasin 4 Manyà, Felip 4 Marić, Filip 4 Mattei, Nicholas 4 Misra, Neeldhara 4 Ostrowski, Max 4 Petit, Thierry 4 Saïs, Lakhdar ...and 1,382 more Authors all top 5 Cited in 121 Serials 132 Artificial Intelligence 98 Constraints 36 Annals of Mathematics and Artificial Intelligence 33 Theoretical Computer Science 27 Journal of Automated Reasoning 21 Annals of Operations Research 20 Theory and Practice of Logic Programming 17 Discrete Applied Mathematics 13 Computers & Operations Research 12 Social Choice and Welfare 11 European Journal of Operational Research 10 Journal of Computer and System Sciences 8 Algorithmica 8 International Journal of Approximate Reasoning 7 Journal of Heuristics 6 The Journal of Artificial Intelligence Research (JAIR) 6 INFORMS Journal on Computing 5 Information Processing Letters 5 Journal of Symbolic Computation 5 Information and Computation 5 4OR 4 Fuzzy Sets and Systems 4 Information Sciences 4 Mathematical Social Sciences 4 SIAM Journal on Discrete Mathematics 4 Machine Learning 4 Journal of Combinatorial Optimization 4 Journal of Scheduling 4 ACM Transactions on Computational Logic 4 Journal of Statistical Mechanics: Theory and Experiment 3 Acta Informatica 3 Journal of Philosophical Logic 3 SIAM Journal on Computing 3 International Journal of Foundations of Computer Science 3 Automation and Remote Control 3 Mathematical Problems in Engineering 3 Discrete Optimization 3 Journal of Satisfiability, Boolean Modeling and Computation 3 Logical Methods in Computer Science 3 Algorithms 2 Physica A 2 Journal of Economic Theory 2 Journal of Mathematical Psychology 2 Mathematics of Operations Research 2 Science of Computer Programming 2 Journal of Computer Science and Technology 2 Formal Aspects of Computing 2 Games and Economic Behavior 2 Cybernetics and Systems Analysis 2 Soft Computing 2 CEJOR. Central European Journal of Operations Research 2 OR Spectrum 2 Journal of Applied Logic 2 Mathematics in Computer Science 2 Mathematical Programming Computation 2 Computer Science Review 2 Journal of Logical and Algebraic Methods in Programming 1 Computers & Mathematics with Applications 1 Discrete Mathematics 1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki 1 Applied Mathematics and Computation 1 Computing 1 International Journal of Game Theory 1 Journal of Computational and Applied Mathematics 1 Journal of Optimization Theory and Applications 1 Programming and Computer Software 1 Theory and Decision 1 Operations Research Letters 1 Combinatorica 1 Annals of Pure and Applied Logic 1 Order 1 Discrete & Computational Geometry 1 Random Structures & Algorithms 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Neural Computation 1 Japan Journal of Industrial and Applied Mathematics 1 Computational Geometry 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Discrete Event Dynamic Systems 1 Artificial Intelligence Review 1 Applied Mathematical Modelling 1 Bulletin of the American Mathematical Society. New Series 1 Computational Complexity 1 Journal of Computer and Systems Sciences International 1 Journal of Mathematical Sciences (New York) 1 Economic Theory 1 Advances in Applied Clifford Algebras 1 Top 1 The Bulletin of Symbolic Logic 1 International Transactions in Operational Research 1 Doklady Mathematics 1 Theory of Computing Systems 1 Nonlinear Dynamics 1 Optimization Methods & Software 1 Australian & New Zealand Journal of Statistics 1 Data Mining and Knowledge Discovery 1 Discrete Dynamics in Nature and Society 1 Journal of Integer Sequences 1 International Journal of Applied Mathematics and Computer Science ...and 21 more Serials all top 5 Cited in 34 Fields 594 Computer science (68-XX) 226 Operations research, mathematical programming (90-XX) 122 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 62 Mathematical logic and foundations (03-XX) 55 Combinatorics (05-XX) 11 Statistics (62-XX) 11 Biology and other natural sciences (92-XX) 11 Information and communication theory, circuits (94-XX) 6 General algebraic systems (08-XX) 6 Systems theory; control (93-XX) 5 Probability theory and stochastic processes (60-XX) 5 Numerical analysis (65-XX) 4 General and overarching topics; collections (00-XX) 4 Convex and discrete geometry (52-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 History and biography (01-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Number theory (11-XX) 2 Associative rings and algebras (16-XX) 2 Group theory and generalizations (20-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Geometry (51-XX) 2 Quantum theory (81-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Mechanics of particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Mathematics education (97-XX) Citations by Year