×

zbMATH — the first resource for mathematics

Walsh, Toby

Compute Distance To:
Author ID: walsh.toby Recent zbMATH articles by "Walsh, Toby"
Published as: Walsh, Toby; Walsh, T.
External Links: MGP · ORCID · dblp
Documents Indexed: 116 Publications since 1989, including 10 Books
all top 5

Co-Authors

13 single-authored
14 Hnich, Brahim
13 Bessiere, Christian
13 Hebrard, Emmanuel
11 Narodytska, Nina
11 Rossi, Francesca
10 Gent, Ian Philip
10 Venable, Kristen Brent
9 Kiziltan, Zeynep
7 Aziz, Haris
7 Quimper, Claude-Guy
6 Drescher, Christian
6 Katsirelos, George
6 Pini, Maria Silvia
5 Giunchiglia, Fausto
4 Bundy, Alan
4 Frisch, Alan M.
4 Miguel, Ian
4 Stergiou, Kostas
3 Bacchus, Fahiem
3 Basin, David A.
3 Gaspers, Serge
3 Gelain, Mirco
3 Mattei, Nicholas
3 Niedermeier, Rolf
3 van Maaren, Hans
3 Xia, Lirong
2 Biere, Armin
2 Conitzer, Vincent
2 Grandi, Umberto
2 Heule, Marijn J. H.
2 Law, Yat Chiu
2 Lee, Jimmy Ho-man
2 Loreggia, Andrea
2 MacKenzie, Simon
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 Chen, Jiehua
1 Chen, Xinguang
1 Choueiry, Berthe Y.
1 Colton, Simon
1 Davies, Jessica
1 Demkowicz, Leszek F.
1 Domshlak, Carmel
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 Lev, Omer
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 Rosenschein, Jeffrey S.
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 Takenaga, Yasuhiko
1 Tarim, S. Armagan
1 Thiffault, Christian
1 Tifrea, Oana
1 Villafiorita, Adolfo
...and 3 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

93 Publications have been cited 780 times in 613 Documents Cited by Year
Handbook of satisfiability. Zbl 1183.68568
Biere, Armin (ed.); Heule, Marijn (ed.); van Maaren, Hans (ed.); Walsh, Toby (ed.)
136
2009
Handbook of constraint programming. Zbl 1175.90011
Rossi, Francesca (ed.); van Beek, Peter (ed.); Walsh, Toby (ed.)
132
2006
A theory of abstraction. Zbl 0762.68054
Giunchiglia, Fausto; Walsh, Toby
26
1992
Random constraint satisfaction: Flaws and structure. Zbl 0992.68193
Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby
26
2001
SAT \(v\) CSP. Zbl 1044.68808
Walsh, Toby
24
2000
Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828
Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby
18
2006
HP90: A general and flexible Fortran 90 \(hp\)-FE code. Zbl 0912.68014
Demkowicz, L.; Gerdes, K.; Schwab, C.; Bajer, A.; Walsh, T.
17
1998
The TSP phase transition. Zbl 0907.68177
Gent, Ian P.; Walsh, Toby
16
1996
Incompleteness and incomparability in preference aggregation: complexity results. Zbl 1225.68257
Pini, M. S.; Rossi, F.; Venable, K. B.; Walsh, T.
15
2011
Justified representation in approval-based committee voting. Zbl 1392.91030
Aziz, Haris; Brill, Markus; Conitzer, Vincent; Elkind, Edith; Freeman, Rupert; Walsh, Toby
15
2017
Easy problems are sometimes hard. Zbl 0824.68107
Gent, Ian P.; Walsh, Toby
14
1994
Global grammar constraints. Zbl 1160.68560
Quimper, Claude-Guy; Walsh, Toby
13
2006
Aggregating partially ordered preferences. Zbl 1162.91343
Pini, Maria Silvia; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby
12
2009
Singleton consistencies. Zbl 1044.68790
Prosser, Patrick; Stergiou, Kostas; Walsh, Toby
11
2000
Decomposing global Grammar constraints. Zbl 1145.68529
Quimper, Claude-Guy; Walsh, Toby
11
2007
Hard and soft constraints for reasoning about qualitative conditional preferences. Zbl 1125.68410
Domshlak, C.; Prestwich, S.; Rossi, F.; Venable, K. B.; Walsh, T.
10
2006
The tractability of global constraints. Zbl 1152.68542
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby
10
2004
Fair assignment of indivisible objects under ordinal preferences. Zbl 1346.68106
Aziz, Haris; Gaspers, Serge; Mackenzie, Simon; Walsh, Toby
9
2015
An empirical analysis of search in GSAT. Zbl 0900.68178
Gent, I. P.; Walsh, T.
9
1993
Encodings of the Sequence constraint. Zbl 1145.68507
Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby
9
2007
Difference matching. Zbl 0925.68401
Basin, David; Walsh, Toby
8
1992
Where are the hard manipulation problems? Zbl 1234.68391
Walsh, T.
8
2011
Complexity of and algorithms for the manipulation of Borda, Nanson’s and Baldwin’s voting rules. Zbl 1408.91065
Davies, Jessica; Katsirelos, George; Narodytska, Nina; Walsh, Toby; Xia, Lirong
8
2014
Permutation problems and channelling constraints. Zbl 1273.68365
Walsh, Toby
8
2001
Super solutions in constraint programming. Zbl 1094.68645
Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby
8
2004
The use of proof plans to sum series. Zbl 0925.03072
Walsh, Toby; Nunes, Alex; Bundy, Alan
7
1992
A calculus for and termination of rippling. Zbl 0847.68105
Basin, David A.; Walsh, Toby
7
1996
Manipulating tournaments in cup and round robin competitions. Zbl 1260.68184
Russell, Tyrel; Walsh, Toby
7
2009
The complexity of reasoning with global constraints. Zbl 1124.68103
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby
7
2007
The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517
Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby
7
2005
Propagation algorithms for lexicographic ordering constraints. Zbl 1131.68521
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
7
2006
Filtering algorithms for the NValue constraint. Zbl 1133.68427
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
7
2005
A divergence critic for inductive proof. Zbl 0900.68383
Walsh, T.
6
1996
Domain filtering consistencies for non-binary constraints. Zbl 1182.68218
Bessiere, Christian; Stergiou, Kostas; Walsh, Toby
6
2008
On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621
Colton, Simon; Bundy, Alan; Walsh, Toby
6
2000
Filtering algorithms for the NValue constraint. Zbl 1114.68064
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
6
2006
Abstract theorem proving. Zbl 0708.68066
Giunchiglia, Fausto; Walsh, Toby
6
1989
Breaking symmetry of interchangeable variables and values. Zbl 1145.68521
Law, Y. C.; Lee, J. H. M.; Walsh, Toby; Yip, J. Y. K.
6
2007
Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies. Zbl 1207.68354
Gelain, Mirco; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby
5
2010
A translational approach to constraint answer set solving. Zbl 1209.68511
Drescher, Christian; Walsh, Toby
5
2010
Dual modelling of permutation and injection problems. Zbl 1080.68667
Hnich, Brahim; Smith, Barbara M.; Walsh, Toby
5
2004
CGRASS: A system for transforming constraint satisfaction problems. Zbl 1023.68668
Frisch, Alan M.; Miguel, Ian; Walsh, Toby
5
2003
SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028
Gent, Ian (ed.); Van Maaren, Hans (ed.); Walsh, Toby (ed.)
5
2000
Binary vs. non-binary constraints. Zbl 0999.68201
Bacchus, Fahiem; Chen, Xinguang; van Beek, Peter; Walsh, Toby
5
2002
General symmetry breaking constraints. Zbl 1160.68571
Walsh, Toby
5
2006
Among, common and disjoint constraints. Zbl 1180.68244
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
4
2006
Solving non-clausal formulas with DPLL search. Zbl 1152.68588
Thiffault, Christian; Bacchus, Fahiem; Walsh, Toby
4
2004
Fixing balanced knockout and double elimination tournaments. Zbl 1451.68129
Aziz, Haris; Gaspers, Serge; Mackenzie, Simon; Mattei, Nicholas; Stursberg, Paul; Walsh, Toby
3
2018
New algorithms for max restricted path consistency. Zbl 1241.68098
Balafoutis, Thanasis; Paparrizou, Anastasia; Stergiou, Kostas; Walsh, Toby
3
2011
Local search approaches in stable matching problems. Zbl 1461.05163
Gelain, Mirco; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby
3
2013
Combining symmetry breaking and global constraints. Zbl 1248.68457
Katsirelos, George; Narodytska, Nina; Walsh, Toby
3
2009
Local consistencies in SAT. Zbl 1204.68184
Bessière, Christian; Hebrard, Emmanuel; Walsh, Toby
3
2004
The all different and global cardinality constraints on set, multiset and tuple variables. Zbl 1180.68249
Quimper, Claude-Guy; Walsh, Toby
3
2006
Tetravex is NP-complete. Zbl 1185.68354
Takenaga, Yasuhiko; Walsh, Toby
3
2006
Consistency and propagation with multiset constraints: a formal viewpoint. Zbl 1273.68364
Walsh, Toby
3
2003
Online estimation of SAT solving runtime. Zbl 1138.68540
Haim, Shai; Walsh, Toby
3
2008
Online cake cutting. Zbl 1233.68196
Walsh, Toby
2
2011
Is computational complexity a barrier to manipulation? Zbl 1230.91044
Walsh, Toby
2
2011
\(\mathrm{H}\)-index manipulation by merging articles: models, theory, and experiments. Zbl 1386.68076
van Bevern, René; Komusiewicz, Christian; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby
2
2016
Answer set solving with lazy nogood generation. Zbl 1281.68178
Drescher, Christian; Walsh, Toby
2
2012
Filtering algorithms for the multiset ordering constraint. Zbl 1191.68633
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
2
2009
Parameterized complexity results in symmetry breaking. Zbl 1309.68104
Walsh, Toby
2
2010
Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study. Zbl 1338.68103
Frank, Jeremy; Gent, Ian P.; Walsh, Toby
2
1998
Principles and practice of constraint programming – CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Zbl 0984.00059
Walsh, Toby (ed.)
2
2001
Reformulating propositional satisfiability as constraint satisfaction. Zbl 0989.68526
Walsh, Toby
2
2000
A fixpoint based encoding for bounded model checking. Zbl 1019.68590
Frisch, Alan; Sheridan, Daniel; Walsh, Toby
2
2002
Restricted manipulation in iterative voting: Condorcet efficiency and Borda score. Zbl 1406.91107
Grandi, Umberto; Loreggia, Andrea; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby
2
2013
Barriers to manipulation in voting. Zbl 1448.91097
Conitzer, Vincent; Walsh, Toby
2
2016
The computational impact of partial votes on strategic voting. Zbl 1366.91084
Narodytska, Nina; Walsh, Toby
2
2014
The ROOTS constraint. Zbl 1160.68539
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
2
2006
Symmetry-breaking answer set solving. Zbl 1215.68212
Drescher, Christian; Tifrea, Oana; Walsh, Toby
2
2011
Orbital shrinking: theory and applications. Zbl 1406.90081
Fischetti, Matteo; Liberti, Leo; Salvagnin, Domenico; Walsh, Toby
1
2017
Modelling grammar constraints with answer set programming. Zbl 1245.68173
Drescher, Christian; Walsh, Toby
1
2011
Stability, optimality and manipulation in matching problems with weighted preferences. Zbl 1461.05170
Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby
1
2013
Symmetries of symmetry breaking constraints. Zbl 1211.68384
Katsirelos, George; Walsh, Toby
1
2010
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004
Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby
1
1997
Reformulating global grammar constraints. Zbl 1241.68102
Katsirelos, George; Narodytska, Nina; Walsh, Toby
1
2009
The AllDifferent constraint with precedences. Zbl 1326.68266
Bessiere, Christian; Narodytska, Nina; Quimper, Claude-Guy; Walsh, Toby
1
2011
The range constraint: Algorithms and implementation. Zbl 1177.68182
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
1
2006
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.
1
1996
A study of proxies for Shapley allocations of transport costs. Zbl 1378.91011
Aziz, Haris; Cahan, Casey; Gretton, Charles; Kilby, Philip; Mattei, Nicholas; Walsh, Toby
1
2016
Buffered resource constraint: algorithms and complexity. Zbl 1407.68447
Bessiere, Christian; Hebrard, Emmanuel; Ménard, Marc-André; Quimper, Claude-Guy; Walsh, Toby
1
2014
Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints. Zbl 1186.68432
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
1
2009
The inevitability of inconsistent abstract spaces. Zbl 0784.68075
Giunchiglia, Fausto; Walsh, Toby
1
1993
Special issue: Satisfiability in the year 2000. Zbl 0956.00015
Gent, Ian P. (ed.); Walsh, Toby (ed.)
1
2000
Strategyproof peer selection using randomization, partitioning, and apportionment. Zbl 07099233
Aziz, Haris; Lev, Omer; Mattei, Nicholas; Rosenschein, Jeffrey S.; Walsh, Toby
1
2019
Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Zbl 1077.68002
Bacchus, Fahiem (ed.); Walsh, Toby (ed.)
1
2005
The weighted grammar constraint. Zbl 1230.68110
Katsirelos, George; Narodytska, Nina; Walsh, Toby
1
2011
h-index manipulation by undoing merges. Zbl 1394.68194
van Bevern, René; Komusiwicz, Christian; Molter, Hendrik; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby
1
2016
Parliamentary voting procedures: agenda control, manipulation, and uncertainty. Zbl 1417.91183
Bredereck, Robert; Chen, Jiehua; Niedermeier, Rolf; Walsh, Toby
1
2017
Three generalizations of the FOCUS constraint. Zbl 1368.90110
Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby
1
2016
Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Zbl 1368.68008
Gaspers, Serge (ed.); Walsh, Toby (ed.)
1
2017
The weighted CFG constraint. Zbl 1142.68515
Katsirelos, George; Narodytska, Nina; Walsh, Toby
1
2008
Strategyproof peer selection using randomization, partitioning, and apportionment. Zbl 07099233
Aziz, Haris; Lev, Omer; Mattei, Nicholas; Rosenschein, Jeffrey S.; Walsh, Toby
1
2019
Fixing balanced knockout and double elimination tournaments. Zbl 1451.68129
Aziz, Haris; Gaspers, Serge; Mackenzie, Simon; Mattei, Nicholas; Stursberg, Paul; Walsh, Toby
3
2018
Justified representation in approval-based committee voting. Zbl 1392.91030
Aziz, Haris; Brill, Markus; Conitzer, Vincent; Elkind, Edith; Freeman, Rupert; Walsh, Toby
15
2017
Orbital shrinking: theory and applications. Zbl 1406.90081
Fischetti, Matteo; Liberti, Leo; Salvagnin, Domenico; Walsh, Toby
1
2017
Parliamentary voting procedures: agenda control, manipulation, and uncertainty. Zbl 1417.91183
Bredereck, Robert; Chen, Jiehua; Niedermeier, Rolf; 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
Gaspers, Serge; Walsh, Toby
1
2017
\(\mathrm{H}\)-index manipulation by merging articles: models, theory, and experiments. Zbl 1386.68076
van Bevern, René; Komusiewicz, Christian; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby
2
2016
Barriers to manipulation in voting. Zbl 1448.91097
Conitzer, Vincent; Walsh, Toby
2
2016
A study of proxies for Shapley allocations of transport costs. Zbl 1378.91011
Aziz, Haris; Cahan, Casey; Gretton, Charles; Kilby, Philip; Mattei, Nicholas; Walsh, Toby
1
2016
h-index manipulation by undoing merges. Zbl 1394.68194
van Bevern, René; Komusiwicz, Christian; Molter, Hendrik; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby
1
2016
Three generalizations of the FOCUS constraint. Zbl 1368.90110
Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby
1
2016
Fair assignment of indivisible objects under ordinal preferences. Zbl 1346.68106
Aziz, Haris; Gaspers, Serge; Mackenzie, Simon; Walsh, Toby
9
2015
Complexity of and algorithms for the manipulation of Borda, Nanson’s and Baldwin’s voting rules. Zbl 1408.91065
Davies, Jessica; Katsirelos, George; Narodytska, Nina; Walsh, Toby; Xia, Lirong
8
2014
The computational impact of partial votes on strategic voting. Zbl 1366.91084
Narodytska, Nina; Walsh, Toby
2
2014
Buffered resource constraint: algorithms and complexity. Zbl 1407.68447
Bessiere, Christian; Hebrard, Emmanuel; Ménard, Marc-André; Quimper, Claude-Guy; Walsh, Toby
1
2014
Local search approaches in stable matching problems. Zbl 1461.05163
Gelain, 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.91107
Grandi, Umberto; Loreggia, Andrea; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby
2
2013
Stability, optimality and manipulation in matching problems with weighted preferences. Zbl 1461.05170
Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby
1
2013
Answer set solving with lazy nogood generation. Zbl 1281.68178
Drescher, Christian; Walsh, Toby
2
2012
Incompleteness and incomparability in preference aggregation: complexity results. Zbl 1225.68257
Pini, M. S.; Rossi, F.; Venable, K. B.; Walsh, T.
15
2011
Where are the hard manipulation problems? Zbl 1234.68391
Walsh, T.
8
2011
New algorithms for max restricted path consistency. Zbl 1241.68098
Balafoutis, Thanasis; Paparrizou, Anastasia; Stergiou, Kostas; Walsh, Toby
3
2011
Online cake cutting. Zbl 1233.68196
Walsh, Toby
2
2011
Is computational complexity a barrier to manipulation? Zbl 1230.91044
Walsh, Toby
2
2011
Symmetry-breaking answer set solving. Zbl 1215.68212
Drescher, Christian; Tifrea, Oana; Walsh, Toby
2
2011
Modelling grammar constraints with answer set programming. Zbl 1245.68173
Drescher, Christian; Walsh, Toby
1
2011
The AllDifferent constraint with precedences. Zbl 1326.68266
Bessiere, Christian; Narodytska, Nina; Quimper, Claude-Guy; Walsh, Toby
1
2011
The weighted grammar constraint. Zbl 1230.68110
Katsirelos, George; Narodytska, Nina; Walsh, Toby
1
2011
Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies. Zbl 1207.68354
Gelain, Mirco; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent; Walsh, Toby
5
2010
A translational approach to constraint answer set solving. Zbl 1209.68511
Drescher, Christian; Walsh, Toby
5
2010
Parameterized complexity results in symmetry breaking. Zbl 1309.68104
Walsh, Toby
2
2010
Symmetries of symmetry breaking constraints. Zbl 1211.68384
Katsirelos, George; Walsh, Toby
1
2010
Handbook of satisfiability. Zbl 1183.68568
Biere, Armin; Heule, Marijn; van Maaren, Hans; Walsh, Toby
136
2009
Aggregating partially ordered preferences. Zbl 1162.91343
Pini, Maria Silvia; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby
12
2009
Manipulating tournaments in cup and round robin competitions. Zbl 1260.68184
Russell, Tyrel; Walsh, Toby
7
2009
Combining symmetry breaking and global constraints. Zbl 1248.68457
Katsirelos, George; Narodytska, Nina; Walsh, Toby
3
2009
Filtering algorithms for the multiset ordering constraint. Zbl 1191.68633
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
2
2009
Reformulating global grammar constraints. Zbl 1241.68102
Katsirelos, George; Narodytska, Nina; Walsh, Toby
1
2009
Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints. Zbl 1186.68432
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
1
2009
Domain filtering consistencies for non-binary constraints. Zbl 1182.68218
Bessiere, Christian; Stergiou, Kostas; Walsh, Toby
6
2008
Online estimation of SAT solving runtime. Zbl 1138.68540
Haim, Shai; Walsh, Toby
3
2008
The weighted CFG constraint. Zbl 1142.68515
Katsirelos, George; Narodytska, Nina; Walsh, Toby
1
2008
Decomposing global Grammar constraints. Zbl 1145.68529
Quimper, Claude-Guy; Walsh, Toby
11
2007
Encodings of the Sequence constraint. Zbl 1145.68507
Brand, Sebastian; Narodytska, Nina; Quimper, Claude-Guy; Stuckey, Peter; Walsh, Toby
9
2007
The complexity of reasoning with global constraints. Zbl 1124.68103
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby
7
2007
Breaking symmetry of interchangeable variables and values. Zbl 1145.68521
Law, Y. C.; Lee, J. H. M.; Walsh, Toby; Yip, J. Y. K.
6
2007
Handbook of constraint programming. Zbl 1175.90011
Rossi, Francesca; van Beek, Peter; Walsh, Toby
132
2006
Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828
Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby
18
2006
Global grammar constraints. Zbl 1160.68560
Quimper, Claude-Guy; Walsh, Toby
13
2006
Hard and soft constraints for reasoning about qualitative conditional preferences. Zbl 1125.68410
Domshlak, C.; Prestwich, S.; Rossi, F.; Venable, K. B.; Walsh, T.
10
2006
Propagation algorithms for lexicographic ordering constraints. Zbl 1131.68521
Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby
7
2006
Filtering algorithms for the NValue constraint. Zbl 1114.68064
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
6
2006
General symmetry breaking constraints. Zbl 1160.68571
Walsh, Toby
5
2006
Among, common and disjoint constraints. Zbl 1180.68244
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
4
2006
The all different and global cardinality constraints on set, multiset and tuple variables. Zbl 1180.68249
Quimper, Claude-Guy; Walsh, Toby
3
2006
Tetravex is NP-complete. Zbl 1185.68354
Takenaga, Yasuhiko; Walsh, Toby
3
2006
The ROOTS constraint. Zbl 1160.68539
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
2
2006
The range constraint: Algorithms and implementation. Zbl 1177.68182
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
1
2006
The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517
Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby
7
2005
Filtering algorithms for the NValue constraint. Zbl 1133.68427
Bessiere, 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
Bacchus, Fahiem; Walsh, Toby
1
2005
The tractability of global constraints. Zbl 1152.68542
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby
10
2004
Super solutions in constraint programming. Zbl 1094.68645
Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby
8
2004
Dual modelling of permutation and injection problems. Zbl 1080.68667
Hnich, Brahim; Smith, Barbara M.; Walsh, Toby
5
2004
Solving non-clausal formulas with DPLL search. Zbl 1152.68588
Thiffault, Christian; Bacchus, Fahiem; Walsh, Toby
4
2004
Local consistencies in SAT. Zbl 1204.68184
Bessière, Christian; Hebrard, Emmanuel; Walsh, Toby
3
2004
CGRASS: A system for transforming constraint satisfaction problems. Zbl 1023.68668
Frisch, Alan M.; Miguel, Ian; Walsh, Toby
5
2003
Consistency and propagation with multiset constraints: a formal viewpoint. Zbl 1273.68364
Walsh, Toby
3
2003
Binary vs. non-binary constraints. Zbl 0999.68201
Bacchus, Fahiem; Chen, Xinguang; van Beek, Peter; Walsh, Toby
5
2002
A fixpoint based encoding for bounded model checking. Zbl 1019.68590
Frisch, Alan; Sheridan, Daniel; Walsh, Toby
2
2002
Random constraint satisfaction: Flaws and structure. Zbl 0992.68193
Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby
26
2001
Permutation problems and channelling constraints. Zbl 1273.68365
Walsh, Toby
8
2001
Principles and practice of constraint programming – CP 2001. 7th international conference, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Zbl 0984.00059
Walsh, Toby
2
2001
SAT \(v\) CSP. Zbl 1044.68808
Walsh, Toby
24
2000
Singleton consistencies. Zbl 1044.68790
Prosser, Patrick; Stergiou, Kostas; Walsh, Toby
11
2000
On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621
Colton, Simon; Bundy, Alan; Walsh, Toby
6
2000
SAT2000. Highlights of satisfiability research in the year 2000. 3rd international workshop, September 1998. Zbl 0963.00028
Gent, Ian; Van Maaren, Hans; Walsh, Toby
5
2000
Reformulating propositional satisfiability as constraint satisfaction. Zbl 0989.68526
Walsh, Toby
2
2000
Special issue: Satisfiability in the year 2000. Zbl 0956.00015
Gent, Ian P.; Walsh, Toby
1
2000
HP90: A general and flexible Fortran 90 \(hp\)-FE code. Zbl 0912.68014
Demkowicz, L.; Gerdes, K.; Schwab, C.; Bajer, A.; Walsh, T.
17
1998
Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study. Zbl 1338.68103
Frank, Jeremy; Gent, Ian P.; Walsh, Toby
2
1998
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004
Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby
1
1997
The TSP phase transition. Zbl 0907.68177
Gent, Ian P.; Walsh, Toby
16
1996
A calculus for and termination of rippling. Zbl 0847.68105
Basin, David A.; Walsh, Toby
7
1996
A divergence critic for inductive proof. Zbl 0900.68383
Walsh, T.
6
1996
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.
1
1996
Easy problems are sometimes hard. Zbl 0824.68107
Gent, Ian P.; Walsh, Toby
14
1994
An empirical analysis of search in GSAT. Zbl 0900.68178
Gent, I. P.; Walsh, T.
9
1993
The inevitability of inconsistent abstract spaces. Zbl 0784.68075
Giunchiglia, Fausto; Walsh, Toby
1
1993
A theory of abstraction. Zbl 0762.68054
Giunchiglia, Fausto; Walsh, Toby
26
1992
Difference matching. Zbl 0925.68401
Basin, David; Walsh, Toby
8
1992
The use of proof plans to sum series. Zbl 0925.03072
Walsh, Toby; Nunes, Alex; Bundy, Alan
7
1992
Abstract theorem proving. Zbl 0708.68066
Giunchiglia, Fausto; Walsh, Toby
6
1989
all top 5

Cited by 1,116 Authors

30 Walsh, Toby
13 Marques-Silva, João P.
12 Hnich, Brahim
11 Rossi, Francesca
10 Stuckey, Peter James
9 Bessiere, Christian
9 Gent, Ian Philip
9 Prestwich, Steven D.
9 Venable, Kristen Brent
8 Bundy, Alan
8 Lee, Jimmy Ho-man
8 Nightingale, Peter W.
8 Rossi, Roberto
8 Tarim, S. Armagan
7 Lecoutre, Christophe
7 Pini, Maria Silvia
7 Rousseau, Louis-Martin
7 Schaub, Torsten H.
7 Semenov, Aleksandr Anatol’evich
7 Szeider, Stefan
7 Wallace, Mark G.
7 Živný, Stanislav
6 Biere, Armin
6 Cadoli, Marco
6 Cohen, David A.
6 Garcia de la Banda, Maria
6 Gendron, Bernard
6 Hebrard, Emmanuel
6 Janota, Mikoláš
6 Järvisalo, Matti
6 Jeavons, Peter G.
6 Skowron, Piotr
6 Stergiou, Kostas
6 Weidenbach, Christoph
5 Cooper, Martin C.
5 Dechter, Rina
5 Jefferson, Christopher
5 Katsirelos, George
5 Mancini, Toni
5 Mencía, Carlos
5 O’Sullivan, Barry
5 Seidl, Martina
5 Yin, Minghao
4 Ábrahám, Erika
4 Ansótegui, Carlos
4 Basin, David A.
4 Beldiceanu, Nicolas
4 Demoen, Bart
4 Gao, Yong
4 Giunchiglia, Fausto
4 Grandi, Umberto
4 Guns, Tias
4 Heule, Marijn J. H.
4 Hoos, Holger H.
4 Ireland, Andrew
4 Law, Yat Chiu
4 Lierler, Yuliya
4 Marić, Filip
4 Mears, Christopher
4 Miguel, Ian
4 Milano, Michela
4 Narodytska, Nina
4 Petit, Thierry
4 Saïs, Lakhdar
4 Sebastiani, Roberto
4 Tack, Guido
4 Xu, Ke
4 Zhou, Junping
3 Aziz, Haris
3 Banbara, Mutsunori
3 Banković, Milan
3 Beck, J. Christopher
3 Betzler, Nadja
3 Bofill, Miquel
3 Boizumault, Patrice
3 Davenport, James Harold
3 Deville, Yves
3 Dey, Palash
3 Dorn, Britta
3 Elkind, Edith
3 Endriss, Ulle
3 England, Matthew
3 Escamocher, Guillaume
3 Faliszewski, Piotr
3 Fischetti, Matteo
3 Flener, Pierre
3 Gaspers, Serge
3 Gebser, Martin
3 Gelain, Mirco
3 Giunchiglia, Enrico
3 Gomes, Carla P.
3 Gutin, Gregory Z.
3 Ignatyev, Alexey A.
3 Jabbour, Said
3 Kaci, Souhila
3 Kochemazov, Stepan
3 Kolbe, Thomas H.
3 Koriche, Frédéric
3 Krokhin, Andrei A.
3 Kullmann, Oliver
...and 1,016 more Authors
all top 5

Cited in 98 Serials

95 Artificial Intelligence
88 Constraints
32 Annals of Mathematics and Artificial Intelligence
23 Theoretical Computer Science
22 Journal of Automated Reasoning
20 Annals of Operations Research
19 Theory and Practice of Logic Programming
12 Discrete Applied Mathematics
9 Computers & Operations Research
8 Social Choice and Welfare
7 Algorithmica
7 International Journal of Approximate Reasoning
7 Journal of Heuristics
6 Journal of Computer and System Sciences
6 European Journal of Operational Research
5 Journal of Symbolic Computation
5 INFORMS Journal on Computing
4 Information Processing Letters
4 Fuzzy Sets and Systems
4 Information Sciences
4 Information and Computation
4 The Journal of Artificial Intelligence Research (JAIR)
4 Journal of Scheduling
4 ACM Transactions on Computational Logic
4 4OR
3 Journal of Philosophical Logic
3 Mathematical Social Sciences
3 International Journal of Foundations of Computer Science
3 Mathematical Problems in Engineering
3 Journal of Combinatorial Optimization
3 Journal of Statistical Mechanics: Theory and Experiment
3 Logical Methods in Computer Science
2 Acta Informatica
2 Journal of Economic Theory
2 SIAM Journal on Computing
2 Science of Computer Programming
2 Journal of Computer Science and Technology
2 SIAM Journal on Discrete Mathematics
2 Machine Learning
2 Automation and Remote Control
2 Soft Computing
2 Fundamenta Informaticae
2 OR Spectrum
2 Journal of Applied Logic
2 Mathematics in Computer Science
2 Algorithms
2 Mathematical Programming Computation
2 Journal of Logical and Algebraic Methods in Programming
1 Computers & Mathematics with Applications
1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki
1 Applied Mathematics and Computation
1 Computing
1 International Journal of Game Theory
1 Journal of Optimization Theory and Applications
1 Mathematics of Operations Research
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 Formal Aspects of Computing
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 Cybernetics and Systems Analysis
1 Computational Complexity
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 Theory of Computing Systems
1 Nonlinear Dynamics
1 Discrete Dynamics in Nature and Society
1 Journal of Integer Sequences
1 International Journal of Applied Mathematics and Computer Science
1 CEJOR. Central European Journal of Operations Research
1 RAIRO. Operations Research
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Natural Computing
1 Computer Languages, Systems & Structures
1 ACM Journal of Experimental Algorithmics
1 Fuzzy Optimization and Decision Making
1 Discrete Optimization
1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1 Journal of Theoretical Biology
1 Frontiers of Computer Science
1 EURO Journal on Computational Optimization
1 Computer Science Review
1 DML. Discrete Mathematics Letters

Citations by Year