default search action
Toby Walsh
Person information
- affiliation: University of New South Wales, Sydney, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2011
- [b1]Francesca Rossi, Kristen Brent Venable, Toby Walsh:
A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2011, ISBN 978-3-031-00428-5
Journal Articles
- 2024
- [j86]Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh:
Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. Artif. Intell. 328: 104075 (2024) - [j85]Matthew Olckers
, Toby Walsh:
Manipulation and peer mechanisms: A survey. Artif. Intell. 336: 104196 (2024) - [j84]Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh:
Mixed Fair Division: A Survey. J. Artif. Intell. Res. 80: 1373-1406 (2024) - [j83]Haris Aziz, Ildikó Schlotter, Toby Walsh:
Computational complexity of necessary envy-freeness. Math. Soc. Sci. 127: 86-98 (2024) - 2023
- [j82]Christian Bessiere
Learning constraints through partial queries. Artif. Intell. 319: 103896 (2023) - [j81]Toby Walsh:
Will AI end privacy? How do we avoid an Orwellian future. AI Soc. 38(3): 1239-1240 (2023) - 2022
- [j80]Haris Aziz, Ioannis Caragiannis, Ayumi Igarashi, Toby Walsh:
Fair allocation of indivisible goods and chores. Auton. Agents Multi Agent Syst. 36(1): 3 (2022) - [j79]Paul A. Chircop
On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage. Ann. Oper. Res. 312(2): 723-760 (2022) - [j78]Toby Walsh:
The troubling future for facial recognition software. Commun. ACM 65(3): 35-36 (2022) - [j77]Alexandra George
Can AI invent? Nat. Mac. Intell. 4(12): 1057-1060 (2022) - 2020
- [j76]René van Bevern
h-Index manipulation by undoing merges. Quant. Sci. Stud. 1(4): 1529-1552 (2020) - 2019
- [j75]Haris Aziz
Strategyproof peer selection using randomization, partitioning, and apportionment. Artif. Intell. 275: 295-309 (2019) - [j74]Toby Walsh:
Experiments in Social Media. AI Mag. 40(4): 74-77 (2019) - 2018
- [j73]Haris Aziz
Fixing balanced knockout and double elimination tournaments. Artif. Intell. 262: 1-14 (2018) - [j72]Toby Walsh:
The new robber barons: the optimistic objectivists overturning the old order. AI Matters 4(2): 25-26 (2018) - [j71]Toby Walsh
Expert and Non-expert Opinion About Technological Unemployment. Int. J. Autom. Comput. 15(5): 637-642 (2018) - 2017
- [j70]Emanuelle Burton
Ethical Considerations in Artificial Intelligence Courses. AI Mag. 38(2): 22-34 (2017) - [j69]Toby Walsh:
The Singularity May Never Be Near. AI Mag. 38(3): 58-62 (2017) - [j68]Matteo Fischetti, Leo Liberti
Orbital shrinking: Theory and applications. Discret. Appl. Math. 222: 109-123 (2017) - [j67]Robert Bredereck
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. J. Artif. Intell. Res. 59: 133-173 (2017) - [j66]Haris Aziz
Justified representation in approval-based committee voting. Soc. Choice Welf. 48(2): 461-485 (2017) - 2016
- [j65]René van Bevern
H-index manipulation by merging articles: Models, theory, and experiments. Artif. Intell. 240: 19-35 (2016) - [j64]Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea
Reports of the 2016 AAAI Workshop Program. AI Mag. 37(3): 99-108 (2016) - [j63]Toby Walsh:
Turing's red flag. Commun. ACM 59(7): 34-37 (2016) - [j62]Nina Narodytska, Thierry Petit, Mohamed Siala
Three generalizations of the FOCUS constraint. Constraints An Int. J. 21(4): 495-532 (2016) - [j61]Haris Aziz
A Study of Proxies for Shapley Allocations of Transport Costs. J. Artif. Intell. Res. 56: 573-611 (2016) - 2015
- [j60]Haris Aziz
Fair assignment of indivisible objects under ordinal preferences. Artif. Intell. 227: 71-92 (2015) - [j59]Eric Eaton, Tom Dietterich, Maria L. Gini, Barbara J. Grosz, Charles L. Isbell Jr., Subbarao Kambhampati, Michael L. Littman, Francesca Rossi, Stuart Russell, Peter Stone, Toby Walsh, Michael J. Wooldridge:
Who speaks for AI? AI Matters 2(2): 4-14 (2015) - [j58]Haris Aziz
Two desirable fairness concepts for allocation of indivisible objects under ordinal preferences. SIGecom Exch. 14(2): 16-21 (2015) - 2014
- [j57]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. Artif. Intell. 217: 20-42 (2014) - 2013
- [j56]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
Local Search Approaches in Stable Matching Problems. Algorithms 6(4): 591-617 (2013) - [j55]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
Stability, Optimality and Manipulation in Matching Problems with Weighted Preferences. Algorithms 6(4): 782-804 (2013) - [j54]Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo:
Multiset variable representations and constraint propagation. Constraints An Int. J. 18(3): 307-343 (2013) - 2012
- [j53]Jérôme Lang, Maria Silvia Pini, Francesca Rossi, Domenico Salvagnin
Winner determination in voting trees with incomplete preferences and weighted votes. Auton. Agents Multi Agent Syst. 25(1): 130-157 (2012) - [j52]Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh:
AI@NICTA. AI Mag. 33(3): 115- (2012) - 2011
- [j51]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
Manipulation complexity and gender neutrality in stable marriage procedures. Auton. Agents Multi Agent Syst. 22(1): 183-199 (2011) - [j50]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Incompleteness and incomparability in preference aggregation: Complexity results. Artif. Intell. 175(7-8): 1272-1289 (2011) - [j49]Christian Drescher, Oana Tifrea, Toby Walsh:
Symmetry-breaking answer set solving. AI Commun. 24(2): 177-194 (2011) - [j48]Toby Walsh
Is computational complexity a barrier to manipulation? Ann. Math. Artif. Intell. 62(1-2): 7-26 (2011) - [j47]George Katsirelos, Nina Narodytska, Toby Walsh
The weighted Grammar constraint. Ann. Oper. Res. 184(1): 179-207 (2011) - [j46]Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh
New algorithms for max restricted path consistency. Constraints An Int. J. 16(4): 372-406 (2011) - [j45]Toby Walsh:
Where Are the Hard Manipulation Problems? J. Artif. Intell. Res. 42: 1-29 (2011) - 2010
- [j44]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies. Artif. Intell. 174(3-4): 270-294 (2010) - [j43]Christian Drescher, Toby Walsh:
A translational approach to constraint answer set solving. Theory Pract. Log. Program. 10(4-6): 465-480 (2010) - 2009
- [j42]Alan M. Frisch
Filtering algorithms for the multiset ordering constraint. Artif. Intell. 173(2): 299-328 (2009) - [j41]Christian Bessiere, Emmanuel Hebrard
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints. Artif. Intell. 173(11): 1054-1078 (2009) - [j40]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
Aggregating Partially Ordered Preferences. J. Log. Comput. 19(3): 475-502 (2009) - 2008
- [j39]Christian Bessiere, Kostas Stergiou, Toby Walsh
Domain filtering consistencies for non-binary constraints. Artif. Intell. 172(6-7): 800-822 (2008) - [j38]Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Preferences in Constraint Satisfaction and Optimization. AI Mag. 29(4): 58-68 (2008) - 2007
- [j37]Toby Walsh:
Representing and Reasoning with Preferences. AI Mag. 28(4): 59-70 (2007) - [j36]Christian Bessiere, Emmanuel Hebrard
The Complexity of Reasoning with Global Constraints. Constraints An Int. J. 12(2): 239-259 (2007) - [j35]Carsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther M. Gelle, Mihaela Sabin, Ulrich Junker
Configuration. IEEE Intell. Syst. 22(1): 78-90 (2007) - 2006
- [j34]Alan M. Frisch
Propagation algorithms for lexicographic ordering constraints. Artif. Intell. 170(10): 803-834 (2006) - [j33]Armagan Tarim
Stochastic Constraint Programming: A Scenario-Based Approach. Constraints An Int. J. 11(1): 53-80 (2006) - [j32]Christian Bessiere, Emmanuel Hebrard
Filtering Algorithms for the NValueConstraint. Constraints An Int. J. 11(4): 271-293 (2006) - [j31]Carmel Domshlak, Steven D. Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh
Hard and soft constraints for reasoning about qualitative conditional preferences. J. Heuristics 12(4-5): 263-285 (2006) - [j30]Yasuhiko Takenaga, Toby Walsh:
Tetravex is NP-complete. Inf. Process. Lett. 99(5): 171-174 (2006) - 2005
- [j29]Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Aggregating preferences cannot be fair. Intelligenza Artificiale 2(1): 30-38 (2005) - [j28]Enrico Giunchiglia
Satisfiability in the Year 2005. J. Autom. Reason. 35(1-3): 1-2 (2005) - 2004
- [j27]Peter van Beek, Toby Walsh:
Principles of Constraint Programming and Constraint Processing: A Review. AI Mag. 25(4): 105-106 (2004) - [j26]Brahim Hnich
Hybrid Modelling for Robust Solving. Ann. Oper. Res. 130(1-4): 19-39 (2004) - [j25]Brahim Hnich
Dual Modelling of Permutation and Injection Problems. J. Artif. Intell. Res. 21: 357-391 (2004) - 2002
- [j24]Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh
Binary vs. non-binary constraints. Artif. Intell. 140(1/2): 1-37 (2002) - [j23]Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh:
AAAI 2002 Fall Symposium Series Reports. AI Mag. 23(2): 91-94 (2002) - [j22]M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger
AAAI 2002 Workshops. AI Mag. 23(4): 113-121 (2002) - [j21]Ian P. Gent
Satisfiability in the Year 2000. J. Autom. Reason. 28(2): 99 (2002) - 2001
- [j20]Berthe Y. Choueiry, Toby Walsh:
Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Mag. 22(1): 137-138 (2001) - [j19]Ian P. Gent
Random Constraint Satisfaction: Flaws and Structure. Constraints An Int. J. 6(4): 345-372 (2001) - 2000
- [j18]Ian P. Gent
Decomposable constraints. Artif. Intell. 123(1-2): 133-156 (2000) - [j17]Simon Colton, Alan Bundy, Toby Walsh:
On the notion of interestingness in automated mathematical discovery. Int. J. Hum. Comput. Stud. 53(3): 351-375 (2000) - [j16]Ian P. Gent, Toby Walsh:
Satisfiability in the Year 2000. J. Autom. Reason. 24(1/2): 1-3 (2000) - 1999
- [j15]Ian P. Gent, Toby Walsh
Paul R. Cohen's Empirical Methods for Artificial Intelligence. Artif. Intell. 113(1-2): 285-290 (1999) - 1998
- [j14]Toby Walsh:
Empirical Methods in AI. AI Mag. 19(2): 121-124 (1998) - [j13]Ian P. Gent, Toby Walsh:
Analysis of Heuristics for Number Partitioning. Comput. Intell. 14(3): 430-451 (1998) - [j12]Jeremy Frank, Ian P. Gent, Toby Walsh:
Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study. Inf. Process. Lett. 65(5): 241-245 (1998) - 1997
- [j11]Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh:
Theories of Abstraction. AI Commun. 10(3-4): 167-176 (1997) - [j10]Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh:
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reason. 19(3): 319-346 (1997) - 1996
- [j9]Ian P. Gent, Toby Walsh
The Satisfiability Constraint Gap. Artif. Intell. 81(1-2): 59-80 (1996) - [j8]Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996) - [j7]Ian P. Gent, Toby Walsh
The TSP Phase Transition. Artif. Intell. 88(1-2): 349-358 (1996) - [j6]Toby Walsh:
A Divergence Critic for Inductive Proof. J. Artif. Intell. Res. 4: 209-235 (1996) - [j5]David A. Basin, Toby Walsh:
A Calculus for and Termination of Rippling. J. Autom. Reason. 16(1-2): 147-180 (1996) - 1994
- [j4]Ian P. Gent, Toby Walsh
Easy Problems are Sometimes Hard. Artif. Intell. 70(1-2): 335-345 (1994) - 1993
- [j3]Ian P. Gent, Toby Walsh:
An Empirical Analysis of Search in GSAT. J. Artif. Intell. Res. 1: 47-59 (1993) - [j2]Fausto Giunchiglia, Toby Walsh:
The Inevitability of Inconsistent Abstract Spaces. J. Autom. Reason. 11(1): 23-41 (1993) - 1992
- [j1]Fausto Giunchiglia, Toby Walsh
A Theory of Abstraction. Artif. Intell. 57(2-3): 323-389 (1992)
Conference and Workshop Papers
- 2025
- [c261]Alicia Vidler, Toby Walsh:
Decoding OTC Government Bond Market Liquidity: An ABM Model for Market Dynamics. CIFEr 2025: 1-7 - 2024
- [c260]Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, Toby Walsh:
Fair Lotteries for Participatory Budgeting. AAAI 2024: 9469-9476 - [c259]Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh:
Mixed Fair Division: A Survey. AAAI 2024: 22641-22649 - [c258]Alexander Lam, Haris Aziz, Bo Li, Fahimeh Ramezani, Toby Walsh:
Proportional Fairness in Obnoxious Facility Location. AAMAS 2024: 1075-1083 - [c257]Harsh Kasyap, Ugur-Ilker Atmaca, Michela Iezzi, Toby Walsh, Carsten Maple:
Mitigating Bias: Model Pruning for Enhanced Model Fairness and Efficiency. ECAI 2024: 995-1002 - [c256]Toby Walsh
Approximate Mechanism Design for Facility Location with Multiple Objectives. ECAI 2024: 3533-3540 - [c255]Toby Walsh
Generative AI: why all the fuss? GECCO 2024 - [c254]Alicia Vidler, Toby Walsh:
TraderTalk: An LLM Behavioural ABM applied to Simulating Human Bilateral Trading Interactions. ICA 2024: 164-167 - [c253]Toby Walsh:
Mechanisms That Play a Game, Not Toss a Coin. IJCAI 2024: 3005-3013 - 2023
- [c252]Haris Aziz, Warut Suksompong, Zhaohong Sun, Toby Walsh:
Fairness Concepts for Indivisible Items with Externalities. AAAI 2023: 5472-5480 - [c251]Haris Aziz, Alexander Lam, Bo Li, Fahimeh Ramezani, Toby Walsh:
Proportional Fairness in Obnoxious Facility Location. AAMAS 2023: 2646-2648 - [c250]Sirin Botan, Angus Ritossa, Mashbat Suzuki, Toby Walsh:
Maximin Fair Allocation of Indivisible Items Under Cost Utilities. SAGT 2023: 221-238 - 2022
- [c249]Toby Walsh:
Strategy Proof Mechanisms for Facility Location with Capacity Limits. IJCAI 2022: 527-533 - [c248]Haris Aziz, Alexander Lam, Mashbat Suzuki, Toby Walsh:
Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism. NeurIPS 2022 - [c247]Haris Aziz, Alexander Lam, Barton E. Lee, Toby Walsh:
Strategyproof and Proportionally Fair Facility Location. WINE 2022: 351 - 2021
- [c246]Zhaohong Sun, Taiki Todo, Toby Walsh:
Fair Pairwise Exchange among Groups. IJCAI 2021: 419-425 - [c245]Toby Walsh:
Strategy Proof Mechanisms for Facility Location at Limited Locations. PRICAI (1) 2021: 113-124 - 2020
- [c244]Haris Aziz
Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives. AAAI 2020: 1806-1813 - [c243]Martin Aleksandrov, Toby Walsh:
Online Fair Division: A Survey. AAAI 2020: 13557-13562 - [c242]Nina Narodytska, Hongce Zhang
In Search for a SAT-friendly Binarized Neural Network Architecture. ICLR 2020 - [c241]Toby Walsh:
Fair Division: The Computer Scientist's Perspective. IJCAI 2020: 4966-4972 - [c240]Martin Aleksandrov, Toby Walsh:
Two Algorithms for Additive and Fair Division of Mixed Manna. KI 2020: 3-17 - 2019
- [c239]Haris Aziz
From Matching with Diversity Constraints to Matching with Regional Quotas. AAMAS 2019: 377-385 - [c238]Martin Aleksandrov, Cunjing Ge, Toby Walsh:
Fair Division Minimizing Inequality. EPIA (2) 2019: 593-605 - [c237]Haris Aziz
Fair Allocation of Indivisible Goods and Chores. IJCAI 2019: 53-59 - [c236]Enrico H. Gerding, Alvaro Perez-Diaz, Haris Aziz
Fair Online Allocation of Perishable Goods and its Application to Electric Vehicle Charging. IJCAI 2019: 5569-5575 - [c235]Martin Aleksandrov, Toby Walsh:
Monotone and Online Fair Division. KI 2019: 60-75 - [c234]Martin Aleksandrov, Toby Walsh:
Strategy-Proofness, Envy-Freeness and Pareto Efficiency in Online Fair Division with Additive Utilities. PRICAI (1) 2019: 527-541 - 2018
- [c233]Jing Wu Lian, Nicholas Mattei, Renee Noble, Toby Walsh:
The Conference Paper Assignment Problem: Using Order Weighted Averages to Assign Indivisible Goods. AAAI 2018: 1138-1145 - [c232]Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh:
Verifying Properties of Binarized Deep Neural Networks. AAAI 2018: 6615-6624 - [c231]Nicholas Mattei
Fairness in Deceased Organ Matching. AIES 2018: 236-242 - [c230]Martin Aleksandrov, Toby Walsh:
Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items. KI 2018: 57-72 - 2017
- [c229]Haris Aziz
Algorithms for Max-Min Share Fair Allocation of Indivisible Chores. AAAI 2017: 335-341 - [c228]Toby Walsh:
The Meta-Turing Test. AAAI Workshops 2017 - [c227]Haris Aziz
Equilibria in Sequential Allocation. ADT 2017: 270-283 - [c226]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems. CPAIOR 2017: 403-418 - [c225]Martin Aleksandrov, Toby Walsh:
Pure Nash Equilibria in Online Fair Division. IJCAI 2017: 42-48 - [c224]Nicholas Mattei
Mechanisms for Online Organ Matching. IJCAI 2017: 345-351 - [c223]Martin Aleksandrov, Toby Walsh:
Expected Outcomes and Manipulations in Online Fair Division. KI 2017: 29-43 - [c222]Martin Aleksandrov, Toby Walsh:
Most Competitive Mechanisms in Online Fair Division. KI 2017: 44-57 - 2016
- [c221]Haris Aziz
Strategyproof Peer Selection: Mechanisms, Analyses, and Experiments. AAAI 2016: 397-403 - [c220]Toby Walsh:
Strategic Behaviour When Allocating Indivisible Goods. AAAI 2016: 4177-4183 - [c219]Haris Aziz
Welfare of Sequential Allocation Mechanisms for Indivisible Goods. ECAI 2016: 787-794 - [c218]René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge, Toby Walsh:
h-Index Manipulation by Undoing Merges. ECAI 2016: 895-903 - [c217]Andrés Abeliuk, Haris Aziz
Interdependent Scheduling Games. IJCAI 2016: 2-9 - [c216]Haris Aziz
Control of Fair Division. IJCAI 2016: 67-73 - [c215]Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh:
Ranking Constraints. IJCAI 2016: 705-711 - 2015
- [c214]Haris Aziz
Justified Representation in Approval-Based Committee Voting. AAAI 2015: 784-790 - [c213]Haris Aziz
A Study of Proxies for Shapley Allocations of Transport Costs. AAAI Workshop: AI for Transportation 2015 - [c212]Toby Walsh:
Challenges in Resource and Cost Allocation. AAAI 2015: 4073-4077 - [c211]Haris Aziz
Computational Aspects of Multi-Winner Approval Voting. AAMAS 2015: 107-115 - [c210]Haris Aziz
Manipulating the Probabilistic Serial Rule. AAMAS 2015: 1451-1459 - [c209]Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Controlling Elections by Replacing Candidates or Votes. AAMAS 2015: 1737-1738 - [c208]Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh:
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. IJCAI 2015: 164-170 - [c207]Haris Aziz
Possible and Necessary Allocations via Sequential Mechanisms. IJCAI 2015: 468-474 - [c206]René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh:
H-Index Manipulation by Merging Articles: Models, Theory, and Experiments. IJCAI 2015: 808-814 - [c205]Haris Aziz
Equilibria Under the Probabilistic Serial Rule. IJCAI 2015: 1105-1112 - [c204]Martin Aleksandrov, Haris Aziz
Online Fair Division: Analysing a Food Bank Problem. IJCAI 2015: 2540-2546 - [c203]Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh:
Reasoning about Connectivity Constraints. IJCAI 2015: 2568-2574 - 2014
- [c202]Haris Aziz
Computational Aspects of Multi-Winner Approval Voting. MPREF@AAAI 2014 - [c201]Haris Aziz
Fixing a Balanced Knockout Tournament. AAAI 2014: 552-558 - [c200]Haris Aziz
Fixing a Balanced Knockout Tournament. MPREF@AAAI 2014 - [c199]Haris Aziz
Justified Representation in Approval-Based Committee Voting. MPREF@AAAI 2014 - [c198]Andrea Loreggia, Nina Narodytska, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Controlling Elections by Replacing Candidates: Theoretical and Experimental Results. MPREF@AAAI 2014 - [c197]Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and necessary winner problem in social polls. AAMAS 2014: 613-620 - [c196]Haris Aziz
Fair assignment of indivisible objects under ordinal preferences. AAMAS 2014: 1305-1312 - [c195]Christian Bessiere, Emmanuel Hebrard
The Balance Constraint Family. CP 2014: 174-189 - [c194]Christian Artigues, Emmanuel Hebrard
SAT and Hybrid Models of the Car Sequencing Problem. CPAIOR 2014: 268-283 - [c193]Christian Bessiere, Emmanuel Hebrard
Buffered Resource Constraint: Algorithms and Complexity. CPAIOR 2014: 318-333 - [c192]Nina Narodytska, Toby Walsh:
The Computational Impact of Partial Votes on Strategic Voting. ECAI 2014: 657-662 - [c191]Toby Walsh:
The PeerRank Method for Peer Assessment. ECAI 2014: 909-914 - [c190]Nicholas Mattei
How Hard Is It to Control an Election by Breaking Ties? ECAI 2014: 1067-1068 - [c189]Toby Walsh:
Allocation in Practice. KI 2014: 13-24 - [c188]Christian Bessiere, Emmanuel Hebrard
Reasoning about Constraint Models. PRICAI 2014: 795-808 - 2013
- [c187]Haris Aziz
Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote. AAAI 2013: 74-80 - [c186]Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia:
Strategic Behavior when Allocating Indivisible Goods Sequentially. AAAI 2013: 452-458 - [c185]Umberto Grandi, Andrea Loreggia, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Restricted Manipulation in Iterative Voting: Condorcet Efficiency and Borda Score. ADT 2013: 181-192 - [c184]Nicholas Mattei
PrefLib: A Library for Preferences http://www.preflib.org. ADT 2013: 259-270 - [c183]Nina Narodytska, Toby Walsh:
Manipulating two stage voting rules. AAMAS 2013: 423-430 - [c182]Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh:
Coalitional manipulation for Schulze's rule. AAMAS 2013: 431-438 - [c181]Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and necessary winner problem in social polls. AAMAS 2013: 1131-1132 - [c180]Nina Narodytska, Toby Walsh:
Breaking Symmetry with Different Orderings. CP 2013: 545-561 - [c179]Nina Narodytska, Toby Walsh:
An Adaptive Model Restarts Heuristic. CPAIOR 2013: 369-377 - [c178]Thomas Kalinowski, Nina Narodytska, Toby Walsh:
A Social Welfare Optimal Sequential Allocation Procedure. IJCAI 2013: 227-233 - [c177]Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh:
Detecting and Exploiting Subproblem Tractability. IJCAI 2013: 468-474 - [c176]Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Constraint Acquisition via Partial Queries. IJCAI 2013: 475-481 - [c175]Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh:
On the Complexity of Global Scheduling Constraints under Structural Restrictions. IJCAI 2013: 503-509 - [c174]Nina Narodytska, Thierry Petit, Mohamed Siala
Three Generalizations of the FOCUS Constraint. IJCAI 2013: 630-636 - [c173]Christian Drescher, Toby Walsh:
Efficient Approximation of Well-Founded Justification and Well-Founded Domination. LPNMR 2013: 277-289 - [c172]Christian Bessiere, Zeynep Kiziltan, Andrea Rappini, Toby Walsh:
A Framework for Combining Set Variable Representations. SARA 2013 - [c171]Valentin Mayer-Eichberger, Toby Walsh:
SAT Encodings for the Car Sequencing Problem. POS@SAT 2013: 15-27 - [c170]Umberto Grandi, Andrea Loreggia, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency. SR 2013: 17-24 - 2012
- [c169]Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? AAAI 2012: 1333-1339 - [c168]Toby Walsh:
Symmetry Breaking Constraints: Recent Results. AAAI 2012: 2192-2198 - [c167]Toby Walsh, Lirong Xia:
Lot-based voting rules. AAMAS 2012: 603-610 - [c166]Leonid Antsfeld, Daniel Damir Harabor, Philip Kilby, Toby Walsh:
TRANSIT Routing on Video Game Maps. AIIDE 2012 - [c165]Ronald de Haan, Nina Narodytska, Toby Walsh:
The RegularGcc Matrix Constraint. Australasian Conference on Artificial Intelligence 2012: 206-217 - [c164]George Katsirelos, Nina Narodytska, Toby Walsh:
The SeqBin Constraint Revisited. CP 2012: 332-347 - [c163]Domenico Salvagnin
A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling. CP 2012: 633-646 - [c162]Nina Narodytska, Toby Walsh, Lirong Xia
Combining Voting Rules Together. ECAI 2012: 612-617 - [c161]Christian Drescher, Toby Walsh:
Answer Set Solving with Lazy Nogood Generation. ICLP (Technical Communications) 2012: 188-200 - 2011
- [c160]Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. AAAI 2011: 61-67 - [c159]Vincent Conitzer, Toby Walsh, Lirong Xia:
Dominating Manipulations in Voting with Partial Information. AAAI 2011: 638-643 - [c158]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. AAAI 2011: 657-662 - [c157]Nina Narodytska, Toby Walsh, Lirong Xia:
Manipulation of Nanson's and Baldwin's Rules. AAAI 2011: 713-718 - [c156]Ronen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh:
The Next Best Solution. AAAI 2011: 1537-1540 - [c155]Christian Drescher, Toby Walsh:
Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. AAAI 2011: 1772-1773 - [c154]Toby Walsh:
Online Cake Cutting. ADT 2011: 292-305 - [c153]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Possible and necessary winners in voting trees: majority graphs vs. profiles. AAMAS 2011: 311-318 - [c152]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Procedural fairness in stable marriage problems. AAMAS 2011: 1209-1210 - [c151]Christian Bessiere, Nina Narodytska, Claude-Guy Quimper
The AllDifferent Constraint with Precedences. CPAIOR 2011: 36-52 - [c150]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Stability in Matching Problems with Weighted Preferences. ICAART (2) 2011: 45-53 - [c149]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Stability and Optimality in Matching Problems with Weighted Preferences. ICAART (Revised Selected Papers) 2011: 319-333 - [c148]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
A Local Search Approach to Solve Incomplete Fuzzy CSPs. ICAART (1) 2011: 582-585 - [c147]Christian Drescher, Toby Walsh:
Modelling Grammar Constraints with Answer Set Programming. ICLP (Technical Communications) 2011: 28-39 - [c146]Christian Drescher, Toby Walsh:
Translation-Based Constraint Answer Set Solving. IJCAI 2011: 2596-2601 - [c145]Toby Walsh:
Exploiting Constraints. ILP 2011: 7-13 - [c144]Tung Le, Chen Cai, Toby Walsh:
Adaptive signal-vehicle cooperative controlling system. ITSC 2011: 236-241 - [c143]Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner
Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39 - [c142]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Weights in stable marriage problems increase manipulation opportunities. TARK 2011: 200-204 - 2010
- [c141]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Propagating Conjunctions of AllDifferent Constraints. AAAI 2010: 27-32 - [c140]Christian Drescher, Toby Walsh:
Reformulation of Global Constraints in Answer Set Programming. Abstraction, Reformulation, and Approximation 2010 - [c139]Marijn Heule, Toby Walsh:
Symmetry in Solutions. AAAI 2010: 77-82 - [c138]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Male optimality and uniqueness in stable marriage problems with partial orders. AAMAS 2010: 1387-1388 - [c137]Toby Walsh:
Is Computational Complexity a Barrier to Manipulation? CLIMA 2010: 1-7 - [c136]Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh:
Improving the Performance of maxRPC. CP 2010: 69-83 - [c135]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper
Decomposition of the NValue Constraint. CP 2010: 114-128 - [c134]George Katsirelos, Nina Narodytska, Toby Walsh:
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CP 2010: 305-320 - [c133]Toby Walsh:
An Empirical Study of the Manipulability of Single Transferable Voting. ECAI 2010: 257-262 - [c132]George Katsirelos, Toby Walsh:
Symmetries of Symmetry Breaking Constraints. ECAI 2010: 861-866 - [c131]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen B. Venable, Toby Walsh:
Local search algorithms on the Stable Marriage Problem: Experimental Studies. ECAI 2010: 1085-1086 - [c130]Toby Walsh:
Parameterized Complexity Results in Symmetry Breaking. IPEC 2010: 4-13 - [c129]Ronen I. Brafman, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh:
Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms. KR 2010 - [c128]Toby Walsh:
Symmetry within and between Solutions. PRICAI 2010: 11-13 - [c127]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Local Search for Stable Marriage Problems with Ties and Incomplete Lists. PRICAI 2010: 64-75 - 2009
- [c126]Tyrel Russell, Toby Walsh:
Manipulating Tournaments in Cup and Round Robin Competitions. ADT 2009: 26-37 - [c125]Enrico Pilotto, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Compact Preference Representation in Stable Marriage Problems. ADT 2009: 390-401 - [c124]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Manipulation and gender neutrality in stable marriage procedures. AAMAS (1) 2009: 665-672 - [c123]George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh:
Restricted Global Grammar Constraints. CP 2009: 501-508 - [c122]George Katsirelos, Nina Narodytska, Toby Walsh:
Reformulating Global Grammar Constraints. CPAIOR 2009: 132-147 - [c121]Toby Walsh:
Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule. IJCAI 2009: 324-329 - [c120]Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh:
Circuit Complexity and Decompositions of Global Constraints. IJCAI 2009: 412-418 - [c119]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI 2009: 419-424 - [c118]Shai Haim, Toby Walsh:
Restart Strategy Selection Using Machine Learning Techniques. SAT 2009: 312-325 - 2008
- [c117]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh:
The Parameterized Complexity of Global Constraints. AAAI 2008: 235-240 - [c116]Claude-Guy Quimper, Toby Walsh:
Decompositions of Grammar Constraints. AAAI 2008: 1567-1570 - [c115]Toby Walsh:
Breaking Value Symmetry. AAAI 2008: 1585-1588 - [c114]Toby Walsh:
Complexity of terminating preference elicitation. AAMAS (2) 2008: 967-974 - [c113]Michael J. Maher, Nina Narodytska, Claude-Guy Quimper
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP 2008: 159-174 - [c112]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies. CP 2008: 402-417 - [c111]George Katsirelos, Nina Narodytska, Toby Walsh:
The Weighted CfgConstraint. CPAIOR 2008: 323-327 - [c110]George Katsirelos, Nina Narodytska, Toby Walsh:
Combining Symmetry Breaking and Global Constraints. CSCLP 2008: 84-98 - [c109]Christian Bessiere, Emmanuel Hebrard
SLIDE: A Useful Special Case of the CARDPATH Constraint. ECAI 2008: 475-479 - [c108]Toby Walsh:
Complexity Issues in Preference Elicitation and Manipulation. ISAIM 2008 - [c107]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting. KR 2008: 571-578 - [c106]Shai Haim, Toby Walsh:
Online Estimation of SAT Solving Runtime. SAT 2008: 133-138 - 2007
- [c105]Toby Walsh:
Uncertainty in Preference Elicitation and Aggregation. AAAI 2007: 3-8 - [c104]Sebastian Brand, Nina Narodytska, Claude-Guy Quimper
Encodings of the Sequence Constraint. CP 2007: 210-224 - [c103]George Katsirelos, Toby Walsh:
A Compression Algorithm for Large Arity Extensional Constraints. CP 2007: 379-393 - [c102]Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip:
Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437 - [c101]Claude-Guy Quimper
Decomposing Global Grammar Constraints. CP 2007: 590-604 - [c100]Toby Walsh:
Breaking Value Symmetry. CP 2007: 880-887 - [c99]Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh:
Distance Constraints in Constraint Satisfaction. IJCAI 2007: 106-111 - [c98]Nina Narodytska, Toby Walsh:
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. IJCAI 2007: 149-154 - [c97]Jérôme Lang, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Winner Determination in Sequential Majority Voting. IJCAI 2007: 1372-1377 - [c96]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Incompleteness and Incomparability in Preference Aggregation. IJCAI 2007: 1464-1469 - [c95]Christian Bessiere, Emmanuel Hebrard
Reformulating Global Constraints: The Slideand RegularConstraints. SARA 2007: 80-92 - 2006
- [c94]Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh:
Estimating Search Tree Size. AAAI 2006: 1014-1019 - [c93]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Strategic voting when aggregating partially ordered preferences. AAMAS 2006: 685-687 - [c92]Toby Walsh:
Symmetry Breaking. Australian Conference on Artificial Intelligence 2006: 7-8 - [c91]Christian Bessiere, Emmanuel Hebrard
The ROOTS Constraint. CP 2006: 75-90 - [c90]Toby Walsh:
General Symmetry Breaking Constraints. CP 2006: 650-664 - [c89]Claude-Guy Quimper
Global Grammar Constraints. CP 2006: 751-755 - [c88]Christian Bessiere, Emmanuel Hebrard
The Range Constraint: Algorithms and Implementation. CPAIOR 2006: 59-73 - [c87]Kostas Stergiou, Toby Walsh:
Inverse Consistencies for Non-Binary Constraints. ECAI 2006: 153-157 - [c86]Toby Walsh:
Symmetry Breaking Using Value Precedence. ECAI 2006: 168-172 - [c85]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences. ECAI 2006: 767-768 - 2005
- [c84]Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh:
Finding Diverse and Similar Solutions in Constraint Programming. AAAI 2005: 372-377 - [c83]Steve Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Constraint-Based Preferential Optimization. AAAI 2005: 461-466 - [c82]Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh:
Backbones and Backdoors in Satisfiability. AAAI 2005: 1368-1373 - [c81]Peter J. Stuckey
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP 2005: 13-16 - [c80]Claude-Guy Quimper
Beyond Finite Domains: The All Different and Global Cardinality Constraints. CP 2005: 812-816 - [c79]Emmanuel Hebrard
Improved Algorithm for Finding (a, b)-Super Solutions. CP 2005: 848 - [c78]Emmanuel Hebrard
Computing Super-Schedules. CP 2005: 879-879 - [c77]Christian Bessiere, Emmanuel Hebrard
Filtering Algorithms for the NValue Constraint. CPAIOR 2005: 79-93 - [c76]Claude-Guy Quimper
The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. CSCLP 2005: 1-13 - [c75]Christian Bessiere, Emmanuel Hebrard
Among, Common and Disjoint Constraints. CSCLP 2005: 29-43 - [c74]Peter J. Stuckey
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP 2005: 9-13 - [c73]Fahiem Bacchus, Toby Walsh:
Propagating Logical Combinations of Constraints. IJCAI 2005: 35-40 - [c72]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
The Range and Roots Constraints: Specifying Counting and Occurrence Problems. IJCAI 2005: 60-65 - [c71]Philip Kilby, John K. Slaney, Toby Walsh:
The Backbone of the Travelling Salesperson. IJCAI 2005: 175-180 - [c70]Alan M. Frisch
Transforming and Refining Abstract Constraint Specifications. SARA 2005: 76-91 - [c69]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Aggregating partially ordered preferences: impossibility and possibility results. TARK 2005: 193-206 - 2004
- [c68]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
The Complexity of Global Constraints. AAAI 2004: 112-117 - [c67]Francesca Rossi, Kristen Brent Venable, Toby Walsh:
mCP Nets: Representing and Reasoning with Preferences of Multiple Agents. AAAI 2004: 729-734 - [c66]Christian Bessiere, Emmanuel Hebrard
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. CP 2004: 138-152 - [c65]Christian Thiffault, Fahiem Bacchus, Toby Walsh:
Solving Non-clausal Formulas with DPLL Search. CP 2004: 663-678 - [c64]Christian Bessiere, Emmanuel Hebrard
The Tractability of Global Constraints. CP 2004: 716-720 - [c63]Emmanuel Hebrard
Super Solutions in Constraint Programming. CPAIOR 2004: 157-172 - [c62]Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
Robust Solutions for Constraint Satisfaction and Optimization. ECAI 2004: 186-190 - [c61]Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. AI&M 2004 - [c60]Christian Thiffault, Fahiem Bacchus, Toby Walsh:
Solving Non-clausal Formulas with DPLL search. SAT 2004 - 2003
- [c59]Toby Walsh:
Constraint Patterns. CP 2003: 53-64 - [c58]Toby Walsh:
Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. CP 2003: 724-738 - [c57]Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. IJCAI 2003: 215-220 - [c56]Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh:
Multiset Ordering Constraints. IJCAI 2003: 221-226 - [c55]Suresh Manandhar, Armagan Tarim, Toby Walsh:
Scenario-based Stochastic Constraint Programming. IJCAI 2003: 257-262 - [c54]Christian Bessière, Emmanuel Hebrard
Local Consistencies in SAT. SAT 2003: 299-314 - 2002
- [c53]Toby Walsh:
The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT. AAAI/IAAI 2002: 695-701 - [c52]Alan M. Frisch
CGRASS: A System for Transforming Constraint Satisfaction Problems. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 15-30 - [c51]Alan M. Frisch
Global Constraints for Lexicographic Orderings. CP 2002: 93-108 - [c50]Pierre Flener, Alan M. Frisch
Breaking Row and Column Symmetries in Matrix Models. CP 2002: 462-476 - [c49]Brahim Hnich, Toby Walsh:
Models of Injection Problems. CP 2002: 781 - [c48]Lyndon Drake, Alan M. Frisch, Toby Walsh:
Automatic Generation of Implied Clauses for SAT. CP 2002: 783 - [c47]Toby Walsh:
Stochastic Constraint Programming. ECAI 2002: 111-115 - [c46]Alan M. Frisch
A Fixpoint Based Encoding for Bounded Model Checking. FMCAD 2002: 238-255 - 2001
- [c45]John K. Slaney, Toby Walsh:
Backbones in Optimization and Approximation. IJCAI 2001: 254-259 - [c44]Toby Walsh:
Search on High Degree Graphs. IJCAI 2001: 266-274 - [c43]Toby Walsh:
Permutation Problems and Channelling Constraints. LPAR 2001: 377-391 - 2000
- [c42]Barbara M. Smith, Kostas Stergiou, Toby Walsh:
Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. AAAI/IAAI 2000: 182-187 - [c41]Simon Colton, Alan Bundy, Toby Walsh:
Automatic Invention of Integer Sequences. AAAI/IAAI 2000: 558-563 - [c40]Alan M. Frisch, Toby Walsh:
Automatic Generation of Implied Constraints: Project Description. ARW 2000 - [c39]Patrick Prosser, Kostas Stergiou, Toby Walsh:
Singleton Consistencies. CP 2000: 353-368 - [c38]Toby Walsh:
SAT v CSP. CP 2000: 441-456 - [c37]Simon Colton, Alan Bundy, Toby Walsh:
Automatic Identification of Mathematical Concepts. ICML 2000: 183-190 - [c36]Toby Walsh:
Reformulating Propositional Satisfiability as Constraint Satisfaction. SARA 2000: 233-246 - 1999
- [c35]Kostas Stergiou, Toby Walsh:
Encodings of Non-Binary Constraint Satisfaction Problems. AAAI/IAAI 1999: 163-168 - [c34]Ian P. Gent, Toby Walsh:
Beyond NP: the QSAT phase transition. AAAI/IAAI 1999: 648-653 - [c33]Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh:
Morphing: Combining Structure and Randomness. AAAI/IAAI 1999: 654-660 - [c32]Ian P. Gent, Kostas Stergiou, Toby Walsh:
Decomposable Constraints. New Trends in Constraints 1999: 134-149 - [c31]Ian P. Gent, Toby Walsh:
CSPLIB: A Benchmark Library for Constraints. CP 1999: 480-481 - [c30]Kostas Stergiou, Toby Walsh:
The Difference All-Difference Makes. IJCAI 1999: 414-419 - [c29]Simon Colton, Alan Bundy, Toby Walsh:
Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793 - [c28]Toby Walsh:
Search in a Small World. IJCAI 1999: 1172-1177 - 1998
- [c27]Toby Walsh:
The Constrainedness Knife-Edge. AAAI/IAAI 1998: 406-411 - [c26]Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh:
Random Constraint Satisfaction: Theory Meets Practice. CP 1998: 325-339 - [c25]Pedro Meseguer, Toby Walsh:
Interleaved and Discrepancy Based Search. ECAI 1998: 239-243 - 1997
- [c24]Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh:
The Scaling of Search Cost. AAAI/IAAI 1997: 315-320 - [c23]Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh:
The Constrainedness of Arc Consistency. CP 1997: 327-340 - [c22]Toby Walsh:
Depth-bounded Discrepancy Search. IJCAI 1997: 1388-1395 - [c21]Ian P. Gent, Toby Walsh:
From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. IJCAI 1997: 1396-1401 - 1996
- [c20]Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh:
The Constrainedness of Search. AAAI/IAAI, Vol. 1 1996: 246-252 - [c19]Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh:
Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529 - [c18]Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh:
A General Purpose Reasoner for Abstraction. AI 1996: 323-335 - [c17]David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh:
Local Search and the Number of Solutions. CP 1996: 119-133 - [c16]Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh:
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. CP 1996: 179-193 - [c15]Ian P. Gent, Toby Walsh:
Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. ECAI 1996: 170-174 - 1995
- [c14]Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh:
Scaling Effects in the CSP Phase Transition. CP 1995: 70-87 - 1994
- [c13]Toby Walsh:
A Divergence Critic. CADE 1994: 14-28 - [c12]David A. Basin, Toby Walsh:
Termination Orderings for Rippling. CADE 1994: 466-483 - [c11]David A. Basin, Toby Walsh:
A Calculus for Rippling. CTRS 1994: 15-30 - [c10]Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin:
Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI 1994: 85-89 - [c9]Ian P. Gent, Toby Walsh:
The SAT Phase Transition. ECAI 1994: 105-109 - [c8]Ian P. Gent, Toby Walsh:
The Hardest Random SAT Problems. KI 1994: 355-366 - 1993
- [c7]Ian P. Gent, Toby Walsh:
Towards an Understanding of Hill-Climbing Procedures for SAT. AAAI 1993: 28-33 - [c6]Toby Walsh:
General Purpose Proof Plans. DISCO 1993: 379-383 - [c5]David A. Basin, Toby Walsh:
Difference Unification. IJCAI 1993: 116-122 - 1992
- [c4]David A. Basin, Toby Walsh:
Difference Matching. CADE 1992: 295-309 - [c3]Toby Walsh, Alex Nunes, Alan Bundy:
The Use of Proof Plans to Sum Series. CADE 1992: 325-339 - [c2]Fausto Giunchiglia, Toby Walsh:
Tree Subsumption: Reasoning with Outlines. ECAI 1992: 77-81 - 1989
- [c1]Fausto Giunchiglia, Toby Walsh:
Abstract Theorem Proving. IJCAI 1989: 372-377
Parts in Books or Collections
- 2016
- [p1]Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard
New Approaches to Constraint Acquisition. Data Mining and Constraint Programming 2016: 51-76
Editorship
- 2025
- [e15]Toby Walsh, Julie Shah, Zico Kolter:
AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA. AAAI Press 2025, ISBN 978-1-57735-897-8 [contents] - 2021
- [e14]Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh:
Handbook of Satisfiability - Second Edition. Frontiers in Artificial Intelligence and Applications 336, IOS Press 2021, ISBN 978-1-64368-160-3 [contents] - 2020
- [e13]Annette N. Markham, Julia Powles, Toby Walsh, Anne L. Washington
AIES '20: AAAI/ACM Conference on AI, Ethics, and Society, New York, NY, USA, February 7-8, 2020. ACM 2020, ISBN 978-1-4503-7110-0 [contents] - 2018
- [e12]Daniel D. Lee, Alexander Steen, Toby Walsh:
GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018. EPiC Series in Computing 55, EasyChair 2018 [contents] - 2017
- [e11]Serge Gaspers, Toby Walsh:
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10491, Springer 2017, ISBN 978-3-319-66262-6 [contents] - 2016
- [e10]Blai Bonet, Sven Koenig, Benjamin Kuipers, Illah R. Nourbakhsh, Stuart Russell, Moshe Y. Vardi, Toby Walsh:
AI, Ethics, and Society, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Technical Report WS-16-02, AAAI Press 2016 [contents] - 2015
- [e9]Toby Walsh:
Artificial Intelligence and Ethics, Papers from the 2015 AAAI Workshop, Austin, Texas, USA, January 25, 2015. AAAI Technical Report WS-15-02, AAAI Press 2015, ISBN 978-1-57735-713-1 [contents] - [e8]Toby Walsh:
Algorithmic Decision Theory - 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings. Lecture Notes in Computer Science 9346, Springer 2015, ISBN 978-3-319-23113-6 [contents] - 2011
- [e7]Toby Walsh:
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. IJCAI/AAAI 2011, ISBN 978-1-57735-516-8 [contents] - 2009
- [e6]Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh:
Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185, IOS Press 2009, ISBN 978-1-58603-929-5 [contents] - 2006
- [e5]Francesca Rossi, Peter van Beek, Toby Walsh:
Handbook of Constraint Programming. Foundations of Artificial Intelligence 2, Elsevier 2006, ISBN 978-0-444-52726-4 [contents] - 2005
- [e4]Fahiem Bacchus, Toby Walsh:
Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings. Lecture Notes in Computer Science 3569, Springer 2005, ISBN 3-540-26276-8 [contents] - 2003
- [e3]Georg Gottlob, Toby Walsh:
IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. Morgan Kaufmann 2003 [contents] - 2001
- [e2]Toby Walsh:
Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Lecture Notes in Computer Science 2239, Springer 2001, ISBN 3-540-42863-1 [contents] - 2000
- [e1]Berthe Y. Choueiry, Toby Walsh:
Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Lecture Notes in Computer Science 1864, Springer 2000, ISBN 3-540-67839-5 [contents]
Reference Works
- 2016
- [r4]Vincent Conitzer, Toby Walsh:
Barriers to Manipulation in Voting. Handbook of Computational Social Choice 2016: 127-145 - 2008
- [r3]Francesca Rossi, Peter van Beek, Toby Walsh:
Constraint Programming. Handbook of Knowledge Representation 2008: 181-211 - 2006
- [r2]Francesca Rossi, Peter van Beek, Toby Walsh:
Introduction. Handbook of Constraint Programming 2006: 3-12 - [r1]Carla P. Gomes, Toby Walsh:
Randomness and Structure. Handbook of Constraint Programming 2006: 639-664
Informal and Other Publications
- 2025
- [i160]Alicia Vidler, Toby Walsh:
Decoding OTC Government Bond Market Liquidity: An ABM Model for Market Dynamics. CoRR abs/2501.16331 (2025) - [i159]Alicia Vidler, Toby Walsh:
Evaluating Binary Decision Biases in Large Language Models: Implications for Fair Agent-Based Financial Simulations. CoRR abs/2501.16356 (2025) - [i158]Yuanyuan Xu, Hanchen Wang, Wenjie Zhang, Lexing Xie, Yin Chen, Flora Salim, Ying Zhang, Justin Gooding, Toby Walsh:
AI-Empowered Catalyst Discovery: A Survey from Classical Machine Learning Approaches to Large Language Models. CoRR abs/2502.13626 (2025) - [i157]Alicia Vidler, Toby Walsh:
Shifting Power: Leveraging LLMs to Simulate Human Aversion in ABMs of Bilateral Financial Exchanges, A bond market study. CoRR abs/2503.00320 (2025) - [i156]Alicia Vidler, Toby Walsh:
Playing games with Large language models: Randomness and strategy. CoRR abs/2503.02582 (2025) - 2024
- [i155]Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, Toby Walsh:
Fair Lotteries for Participatory Budgeting. CoRR abs/2404.05198 (2024) - [i154]Alicia Vidler, Toby Walsh:
Modelling Opaque Bilateral Market Dynamics in Financial Trading: Insights from a Multi-Agent Simulation Study. CoRR abs/2405.02849 (2024) - [i153]Alicia Vidler, Toby Walsh:
Non cooperative Liquidity Games and their application to bond market trading. CoRR abs/2405.02865 (2024) - [i152]Sirin Botan, Angus Ritossa, Mashbat Suzuki, Toby Walsh:
Maximin Fair Allocation of Indivisible Items under Cost Utilities. CoRR abs/2407.13171 (2024) - [i151]Andrii Rohovyi, Peter J. Stuckey, Toby Walsh:
Timetable Nodes for Public Transport Network. CoRR abs/2410.15715 (2024) - [i150]Alicia Vidler, Toby Walsh:
TraderTalk: An LLM Behavioural ABM applied to Simulating Human Bilateral Trading Interactions. CoRR abs/2410.21280 (2024) - 2023
- [i149]Haris Aziz, Alexander Lam, Bo Li, Fahimeh Ramezani, Toby Walsh:
Proportional Fairness in Obnoxious Facility Location. CoRR abs/2301.04340 (2023) - [i148]Matthew Olckers, Toby Walsh:
Incentives to Offer Algorithmic Recourse. CoRR abs/2301.12884 (2023) - [i147]Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, Toby Walsh:
Best-of-Both-Worlds Fairness in Committee Voting. CoRR abs/2303.03642 (2023) - [i146]Toby Walsh:
More than programming? The impact of AI on work and skills. CoRR abs/2306.05669 (2023) - [i145]Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh:
Mixed Fair Division: A Survey. CoRR abs/2306.09564 (2023) - [i144]Toby Walsh:
Mechanisms that play a game, not toss a coin. CoRR abs/2308.10413 (2023) - [i143]Alexander Lam, Haris Aziz, Toby Walsh:
Nash Welfare and Facility Location. CoRR abs/2310.04102 (2023) - 2022
- [i142]Wenbin Zhang, Jeremy C. Weiss, Shuigeng Zhou, Toby Walsh:
Fairness Amidst Non-IID Graph Data: A Literature Review. CoRR abs/2202.07170 (2022) - [i141]Toby Walsh:
The Meta-Turing Test. CoRR abs/2205.05268 (2022) - [i140]Haris Aziz, Alexander Lam, Mashbat Suzuki, Toby Walsh:
Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism. CoRR abs/2205.14798 (2022) - [i139]Matthew Olckers, Toby Walsh:
Manipulation and Peer Mechanisms: A Survey. CoRR abs/2210.01984 (2022) - [i138]Michael L. Littman, Ifeoma Ajunwa, Guy Berger, Craig Boutilier, Morgan Currie, Finale Doshi-Velez, Gillian K. Hadfield, Michael C. Horowitz, Charles Isbell, Hiroaki Kitano, Karen Levy, Terah Lyons, Melanie Mitchell, Julie Shah, Steven A. Sloman, Shannon Vallor, Toby Walsh:
Gathering Strength, Gathering Storms: The One Hundred Year Study on Artificial Intelligence (AI100) 2021 Study Panel Report. CoRR abs/2210.15767 (2022) - 2021
- [i137]Haris Aziz, Warut Suksompong, Zhaohong Sun, Toby Walsh:
Fairness Concepts for Indivisible Items with Externalities. CoRR abs/2110.09066 (2021) - [i136]Haris Aziz, Alexander Lam, Barton E. Lee, Toby Walsh:
Strategyproof and Proportionally Fair Facility Location. CoRR abs/2111.01566 (2021) - 2020
- [i135]Haris Aziz, Serge Gaspers, Zhaohong Sun, Toby Walsh:
From Matching with Diversity Constraints to Matching with Regional Quotas. CoRR abs/2002.06748 (2020) - [i134]Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar
Partial Queries for Constraint Acquisition. CoRR abs/2003.06649 (2020) - [i133]Toby Walsh:
A Pebble in the AI Race. CoRR abs/2003.13861 (2020) - [i132]Toby Walsh:
Fair Division: The Computer Scientist's Perspective. CoRR abs/2005.04855 (2020) - [i131]Toby Walsh:
On the Complexity of Breaking Symmetry. CoRR abs/2005.08954 (2020) - [i130]Martin Aleksandrov, Toby Walsh:
Monotone and Online Fair Division. CoRR abs/2006.15891 (2020) - [i129]Martin Aleksandrov, Toby Walsh:
Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items. CoRR abs/2006.15893 (2020) - [i128]Martin Aleksandrov, Toby Walsh:
Strategy-proofness, Envy-freeness and Pareto efficiency in Online Fair Division with Additive Utilities. CoRR abs/2006.15900 (2020) - [i127]Martin Aleksandrov, Toby Walsh:
Expected Outcomes and Manipulations in Online Fair Division. CoRR abs/2006.15905 (2020) - [i126]Martin Aleksandrov, Toby Walsh:
Most Competitive Mechanisms in Online Fair Division. CoRR abs/2006.15909 (2020) - [i125]Martin Aleksandrov, Toby Walsh:
Two Algorithms for Additive and Fair Division of Mixed Manna. CoRR abs/2007.04129 (2020) - [i124]Toby Walsh:
Adventures in Mathematical Reasoning. CoRR abs/2008.09067 (2020) - [i123]Toby Walsh:
Strategy Proof Mechanisms for Facility Location at Limited Locations. CoRR abs/2009.07982 (2020) - [i122]Toby Walsh:
Strategy Proof Mechanisms for Facility Location in Euclidean and Manhattan Space. CoRR abs/2009.07983 (2020) - [i121]Toby Walsh:
Strategy Proof Mechanisms for Facility Location with Capacity Limits. CoRR abs/2009.07986 (2020) - 2019
- [i120]Toby Walsh:
Experiments in Social Media. CoRR abs/1908.09097 (2019) - [i119]Ian P. Gent, Toby Walsh:
CSPLib: Twenty Years On. CoRR abs/1909.13430 (2019) - [i118]Toby Walsh:
SAT vs CSP: a commentary. CoRR abs/1910.00128 (2019) - [i117]Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
A Commentary on "Breaking Row and Column Symmetries in Matrix Models". CoRR abs/1910.01423 (2019) - [i116]Martin Aleksandrov, Toby Walsh:
Online Fair Division: A Survey. CoRR abs/1911.09488 (2019) - [i115]Haris Aziz, Hau Chan, Barton E. Lee, Bo Li, Toby Walsh:
Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives. CoRR abs/1911.09813 (2019) - [i114]Martin Aleksandrov, Toby Walsh:
Greedy Algorithms for Fair Division of Mixed Manna. CoRR abs/1911.11005 (2019) - 2018
- [i113]Martin Aleksandrov, Cunjing Ge, Toby Walsh:
Fair Division Minimizing Inequality. CoRR abs/1810.04259 (2018) - 2017
- [i112]Emanuelle Burton, Judy Goldsmith, Sven Koenig, Benjamin Kuipers, Nicholas Mattei, Toby Walsh:
Ethical Considerations in Artificial Intelligence Courses. CoRR abs/1701.07769 (2017) - [i111]Jing Wu Lian, Nicholas Mattei, Renee Noble, Toby Walsh:
The Conference Paper Assignment Problem: Using Order Weighted Averages to Assign Indivisible Goods. CoRR abs/1705.06840 (2017) - [i110]Haris Aziz, Paul Goldberg, Toby Walsh:
Equilibria in Sequential Allocation. CoRR abs/1705.09444 (2017) - [i109]Toby Walsh:
Expert and Non-Expert Opinion about Technological Unemployment. CoRR abs/1706.06906 (2017) - [i108]Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh:
Verifying Properties of Binarized Deep Neural Networks. CoRR abs/1709.06662 (2017) - [i107]Toby Walsh:
Deceased Organ Matching in Australia. CoRR abs/1710.06636 (2017) - [i106]Dorothea Baumeister, Piotr Faliszewski, Annick Laruelle, Toby Walsh:
Voting: Beyond Simple Majorities and Single-Winner Elections (Dagstuhl Seminar 17261). Dagstuhl Reports 7(6): 109-134 (2017) - 2016
- [i105]Toby Walsh:
The Singularity May Never Be Near. CoRR abs/1602.06462 (2016) - [i104]Haris Aziz, Gerhard Rauchecker, Guido Schryen, Toby Walsh:
Approximation Algorithms for Max-Min Share Allocations of Indivisible Chores and Goods. CoRR abs/1604.01435 (2016) - [i103]Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, Toby Walsh:
Strategyproof Peer Selection. CoRR abs/1604.03632 (2016) - [i102]René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge, Toby Walsh:
h-Index Manipulation by Undoing Merges. CoRR abs/1604.04827 (2016) - [i101]Andrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh:
Interdependent Scheduling Games. CoRR abs/1605.09497 (2016) - [i100]Nicholas Mattei, Toby Walsh:
Empirical Evaluation of Real World Tournaments. CoRR abs/1608.01039 (2016) - 2015
- [i99]Stefano V. Albrecht, J. Christopher Beck, David L. Buckeridge, Adi Botea, Cornelia Caragea
Reports from the 2015 AAAI Workshop Program. AI Mag. 36(2): 90-101 (2015) - [i98]Haris Aziz, Toby Walsh:
Algorithms for two variants of Satisfaction Approval Voting. CoRR abs/1501.02144 (2015) - [i97]Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Manipulating the Probabilistic Serial Rule. CoRR abs/1501.06626 (2015) - [i96]Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Equilibria Under the Probabilistic Serial Rule. CoRR abs/1502.04888 (2015) - [i95]Martin Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh:
Online Fair Division: analysing a Food Bank problem. CoRR abs/1502.07571 (2015) - [i94]Toby Walsh:
Generating Single Peaked Votes. CoRR abs/1503.02766 (2015) - [i93]Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh:
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. CoRR abs/1509.02424 (2015) - [i92]Toby Walsh:
Turing's Red Flag. CoRR abs/1510.09033 (2015) - [i91]Haris Aziz, Thomas Kalinowski, Toby Walsh, Lirong Xia:
Welfare of Sequential Allocation Mechanisms for Indivisible Goods. CoRR abs/1511.08280 (2015) - 2014
- [i90]Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh:
Strategic aspects of the probabilistic serial rule for the allocation of goods. CoRR abs/1401.6523 (2014) - [i89]Toby Walsh:
Candy Crush is NP-hard. CoRR abs/1403.1911 (2014) - [i88]Toby Walsh:
The PeerRank Method for Peer Assessment. CoRR abs/1405.7192 (2014) - [i87]Nina Narodytska, Toby Walsh:
The Computational Impact of Partial Votes on Strategic Voting. CoRR abs/1405.7714 (2014) - [i86]Toby Walsh:
Allocation in Practice. CoRR abs/1407.3130 (2014) - [i85]Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Simon Mackenzie, Nicholas Mattei, Toby Walsh:
Computational Aspects of Multi-Winner Approval Voting. CoRR abs/1407.3247 (2014) - [i84]Haris Aziz, Toby Walsh:
Justified Representation in Approval-Based Committee Voting. CoRR abs/1407.8269 (2014) - [i83]Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh:
A Study of Proxies for Shapley Allocations of Transport Costs. CoRR abs/1408.4901 (2014) - [i82]Haris Aziz, Toby Walsh, Lirong Xia:
Possible and Necessary Allocations via Sequential Mechanisms. CoRR abs/1412.2226 (2014) - [i81]René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh:
On Google Scholar H-Index Manipulation by Merging Articles. CoRR abs/1412.5498 (2014) - 2013
- [i80]Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh:
Possible and Necessary Winner Problem in Social Polls. CoRR abs/1302.1669 (2013) - [i79]Nina Narodytska, Peter Skocovsky, Toby Walsh:
Global SPACING Constraint (Technical Report). CoRR abs/1303.6107 (2013) - [i78]Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh:
Coalitional Manipulation for Schulze's Rule. CoRR abs/1304.0844 (2013) - [i77]Thomas Kalinowski, Nina Narodytska, Toby Walsh:
A Social Welfare Optimal Sequential Allocation Procedure. CoRR abs/1304.5892 (2013) - [i76]Nina Narodytska, Thierry Petit, Mohamed Siala
Three Generalizations of the FOCUS Constraint. CoRR abs/1304.5970 (2013) - [i75]Nicholas Mattei, Nina Narodytska, Toby Walsh:
How hard is it to control an election by breaking ties? CoRR abs/1304.6174 (2013) - [i74]Nina Narodytska, Toby Walsh:
Breaking Symmetry with Different Orderings. CoRR abs/1306.5053 (2013) - [i73]Christian Drescher, Toby Walsh:
Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version). CoRR abs/1308.3923 (2013) - [i72]Haris Aziz, Serge Gaspers, Simon Mackenzie, Toby Walsh:
Fair assignment of indivisible objects under ordinal preferences. CoRR abs/1312.6546 (2013) - 2012
- [i71]Ronald de Haan, Nina Narodytska, Toby Walsh:
The RegularGcc Matrix Constraint. CoRR abs/1201.0564 (2012) - [i70]Nina Narodytska, Toby Walsh, Lirong Xia:
Combining Voting Rules Together. CoRR abs/1203.3051 (2012) - [i69]Toby Walsh:
Symmetry Breaking Constraints: Recent Results. CoRR abs/1204.3348 (2012) - [i68]Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? CoRR abs/1204.3918 (2012) - [i67]George Katsirelos, Nina Narodytska, Toby Walsh:
The SeqBin Constraint Revisited. CoRR abs/1207.1811 (2012) - 2011
- [i66]Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
The AllDifferent Constraint with Precedences. CoRR abs/1103.3745 (2011) - [i65]Christian Drescher, Toby Walsh:
Translation-based Constraint Answer Set Solving. CoRR abs/1104.3927 (2011) - [i64]Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems. CoRR abs/1104.3931 (2011) - [i63]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. CoRR abs/1105.5667 (2011) - [i62]Nina Narodytska, Toby Walsh, Lirong Xia:
Manipulation of Nanson's and Baldwin's Rules. CoRR abs/1106.5312 (2011) - [i61]Toby Walsh:
Online Cake Cutting (published version). CoRR abs/1106.5316 (2011) - [i60]Vincent Conitzer, Toby Walsh, Lirong Xia:
Dominating Manipulations in Voting with Partial Information. CoRR abs/1106.5448 (2011) - [i59]Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. CoRR abs/1106.5890 (2011) - [i58]Brahim Hnich, Barbara M. Smith, Toby Walsh:
Dual Modelling of Permutation and Injection Problems. CoRR abs/1107.0038 (2011) - 2010
- [i57]Toby Walsh:
Manipulability of Single Transferable Vote. Computational Foundations of Social Choice 2010 - [i56]Marijn Heule, Toby Walsh:
Symmetry within Solutions. CoRR abs/1004.2624 (2010) - [i55]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Propagating Conjunctions of AllDifferent Constraints. CoRR abs/1004.2626 (2010) - [i54]Toby Walsh:
An Empirical Study of the Manipulability of Single Transferable Voting. CoRR abs/1005.5268 (2010) - [i53]George Katsirelos, Toby Walsh:
Symmetries of Symmetry Breaking Constraints. CoRR abs/1005.5270 (2010) - [i52]George Katsirelos, Nina Narodytska, Toby Walsh:
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CoRR abs/1007.0602 (2010) - [i51]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decomposition of the NVALUE constraint. CoRR abs/1007.0603 (2010) - [i50]Toby Walsh:
Symmetry within and between solutions. CoRR abs/1007.0604 (2010) - [i49]Toby Walsh:
Online Cake Cutting. CoRR abs/1007.0614 (2010) - [i48]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Local search for stable marriage problems with ties and incomplete lists. CoRR abs/1007.0637 (2010) - [i47]Toby Walsh:
Is Computational Complexity a Barrier to Manipulation? CoRR abs/1007.0776 (2010) - [i46]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Local search for stable marriage problems. CoRR abs/1007.0859 (2010) - [i45]Christian Drescher, Toby Walsh:
A Translational Approach to Constraint Answer Set Solving. CoRR abs/1007.4114 (2010) - [i44]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
An Empirical Study of Borda Manipulation. CoRR abs/1007.5104 (2010) - [i43]Toby Walsh:
Where are the hard manipulation problems? CoRR abs/1007.5114 (2010) - [i42]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Stable marriage problems with quantitative preferences. CoRR abs/1007.5120 (2010) - [i41]Christian Drescher, Oana Tifrea, Toby Walsh:
Symmetry-breaking Answer Set Solving. CoRR abs/1008.1809 (2010) - [i40]Christian Drescher, Toby Walsh:
Reformulation of Global Constraints in Answer Set Programming. CoRR abs/1008.5029 (2010) - [i39]Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh:
Improving the Performance of maxRPC. CoRR abs/1008.5189 (2010) - [i38]Toby Walsh:
Parameterized Complexity Results in Symmetry Breaking. CoRR abs/1009.1174 (2010) - 2009
- [i37]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints. CoRR abs/0903.0211 (2009) - [i36]Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
Filtering Algorithms for the Multiset Ordering Constraint. CoRR abs/0903.0460 (2009) - [i35]Toby Walsh:
Breaking Value Symmetry. CoRR abs/0903.0465 (2009) - [i34]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
The Parameterized Complexity of Global Constraints. CoRR abs/0903.0467 (2009) - [i33]Claude-Guy Quimper, Toby Walsh:
Decompositions of Grammar Constraints. CoRR abs/0903.0470 (2009) - [i32]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
SLIDE: A Useful Special Case of the CARDPATH Constraint. CoRR abs/0903.0471 (2009) - [i31]George Katsirelos, Nina Narodytska, Toby Walsh:
Reformulating Global Grammar Constraints. CoRR abs/0903.0475 (2009) - [i30]George Katsirelos, Nina Narodytska, Toby Walsh:
Combining Symmetry Breaking and Global Constraints. CoRR abs/0903.0479 (2009) - [i29]Shai Haim, Toby Walsh:
Online Estimation of SAT Solving Runtime. CoRR abs/0903.0695 (2009) - [i28]Toby Walsh:
Symmetry Breaking Using Value Precedence. CoRR abs/0903.1136 (2009) - [i27]Toby Walsh:
Complexity of Terminating Preference Elicitation. CoRR abs/0903.1137 (2009) - [i26]Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
The Complexity of Reasoning with Global Constraints. CoRR abs/0903.1139 (2009) - [i25]Toby Walsh:
Breaking Value Symmetry. CoRR abs/0903.1146 (2009) - [i24]Yasuhiko Takenaga, Toby Walsh:
Tetravex is NP-complete. CoRR abs/0903.1147 (2009) - [i23]Armagan Tarim, Suresh Manandhar, Toby Walsh:
Stochastic Constraint Programming: A Scenario-Based Approach. CoRR abs/0903.1150 (2009) - [i22]Toby Walsh:
Stochastic Constraint Programming. CoRR abs/0903.1152 (2009) - [i21]Toby Walsh:
Where are the really hard manipulation problems? The phase transition in manipulating the veto rule. CoRR abs/0905.3720 (2009) - [i20]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decompositions of All Different, Global Cardinality and Related Constraints. CoRR abs/0905.3755 (2009) - [i19]Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh:
Circuit Complexity and Decompositions of Global Constraints. CoRR abs/0905.3757 (2009) - [i18]Suresh Manandhar, Armagan Tarim, Toby Walsh:
Scenario-based Stochastic Constraint Programming. CoRR abs/0905.3763 (2009) - [i17]Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. CoRR abs/0905.3766 (2009) - [i16]Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh:
Multiset Ordering Constraints. CoRR abs/0905.3769 (2009) - [i15]George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh:
Restricted Global Grammar Constraints. CoRR abs/0906.5233 (2009) - [i14]Shai Haim, Toby Walsh:
Restart Strategy Selection using Machine Learning Techniques. CoRR abs/0907.5032 (2009) - [i13]Shai Haim, Toby Walsh:
Online Search Cost Estimation for SAT Solvers. CoRR abs/0907.5033 (2009) - [i12]Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decomposition of the NVALUE constraint. CoRR abs/0909.3273 (2009) - [i11]George Katsirelos, Toby Walsh:
Symmetries of Symmetry Breaking Constraints. CoRR abs/0909.3276 (2009) - [i10]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Manipulation and gender neutrality in stable marriage procedures. CoRR abs/0909.4437 (2009) - [i9]Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting. CoRR abs/0909.4441 (2009) - [i8]Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies. CoRR abs/0909.4446 (2009) - [i7]Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CoRR abs/0909.4452 (2009) - [i6]George Katsirelos, Nina Narodytska, Toby Walsh:
The Weighted CFG Constraint. CoRR abs/0909.4456 (2009) - [i5]George Katsirelos, Nina Narodytska, Toby Walsh:
Breaking Generator Symmetry. CoRR abs/0909.5099 (2009) - [i4]Tyrel Russell, Toby Walsh:
Manipulating Tournaments in Cup and Round Robin Competitions. CoRR abs/0911.1582 (2009) - [i3]Toby Walsh:
Manipulability of Single Transferable Vote. CoRR abs/0911.3708 (2009) - 1996
- [i2]Toby Walsh:
A Divergence Critic for Inductive Proof. CoRR cs.AI/9604101 (1996) - 1993
- [i1]Ian P. Gent, Toby Walsh:
An Empirical Analysis of Search in GSAT. CoRR cs.AI/9309101 (1993)
Coauthor Index
[j83] [j80] [j75] [j73] [j66] [j61] [j60] [j58] [c260] [c258] [c252] [c251] [c248] [c247] [c244] [c239] [c237] [c236] [c229] [c227] [c221] [c219] [c217] [c216] [c214] [c213] [c211] [c210] [c207] [c205] [c204] [c202] [c201] [c200] [c199] [c196] [c187] [i155] [i149] [i147] [i143] [i140] [i137] [i136] [i135] [i115] [i110] [i104] [i103] [i101] [i98] [i97] [i96] [i95] [i91] [i90] [i85] [i84] [i83] [i82] [i72]
Christian Bessiere
aka: Christian Bessière
aka: Christian Bessière
Nicholas Mattei
aka: Nicholas Scott Mattei
aka: Nicholas Scott Mattei
[j86] [j82] [j62] [j57] [j47] [j35] [c242] [c232] [c210] [c209] [c205] [c198] [c197] [c192] [c190] [c188] [c187] [c186] [c183] [c182] [c181] [c180] [c179] [c178] [c176] [c175] [c174] [c169] [c165] [c164] [c162] [c158] [c157] [c151] [c141] [c135] [c134] [c123] [c122] [c120] [c119] [c113] [c111] [c110] [c104] [c98] [p1] [i134] [i108] [i97] [i96] [i90] [i87] [i80] [i79] [i78] [i77] [i76] [i75] [i74] [i71] [i70] [i68] [i67] [i66] [i63] [i62] [i55] [i52] [i51] [i44] [i31] [i30] [i20] [i19] [i15] [i12] [i7] [i6] [i5]
[b1] [j59] [j56] [j55] [j53] [j51] [j50] [j44] [j40] [j38] [j31] [j29] [j22] [c226] [c209] [c198] [c185] [c170] [c156] [c153] [c152] [c150] [c149] [c148] [c142] [c138] [c131] [c129] [c127] [c125] [c124] [c112] [c107] [c97] [c96] [c93] [c85] [c83] [c69] [c67] [c57] [e5] [r3] [r2] [i99] [i48] [i46] [i42] [i17] [i10] [i9] [i8]
Kristen Brent Venable
aka: Kristen B. Venable
aka: Kristen B. Venable
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-06 21:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: