Toby Walsh - RankMe

541 papers A* 89A 91B 24C 4Misc 9Journal 252Unranked 59

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Adapting Dijkstra for Buffers and Unlimited Transfers. CoRR Denys Katkalo, Andrii Rohovyi, Toby Walsh
2026	J	`jnl`	Early Pruning for Public Transport Routing. CoRR Andrii Rohovyi, Abdallah Abuaisha, Toby Walsh
2025	J	`jnl`	AI-Empowered Catalyst Discovery: A Survey from Classical Machine Learning Approaches to Large Language Models. CoRR Yuanyuan Xu, Hanchen Wang, Wenjie Zhang, Lexing Xie, Yin Chen, Flora Salim, Ying Zhang, Justin Gooding, Toby Walsh
2025	—	`conf`	Decoding OTC Government Bond Market Liquidity: An ABM Model for Market Dynamics. CIFEr Alicia Vidler, Toby Walsh
2025	J	`jnl`	Decoding OTC Government Bond Market Liquidity: An ABM Model for Market Dynamics. CoRR Alicia Vidler, Toby Walsh
2025	A*	`conf`	Distance Preservation Games. IJCAI Haris Aziz, Hau Chan, Patrick Lederer, Shivika Narang, Toby Walsh
2025	J	`jnl`	Distance Preservation Games. CoRR Haris Aziz, Hau Chan, Patrick Lederer, Shivika Narang, Toby Walsh
2025	A*	`conf`	Equitable Mechanism Design for Facility Location. IJCAI Toby Walsh
2025	J	`jnl`	Equitable Mechanism Design for Facility Location. CoRR Toby Walsh
2025	J	`jnl`	Evaluating Binary Decision Biases in Large Language Models: Implications for Fair Agent-Based Financial Simulations. CoRR Alicia Vidler, Toby Walsh
2025	J	`jnl`	Fairness amidst non-IID graph data: A literature review. AI Mag. Wenbin Zhang, Shuigeng Zhou, Toby Walsh, Jeremy C. Weiss
2025	A	`conf`	Group Fairness in Multi-period Mobile Facility Location Problems. AAMAS Haris Aziz, Hau Chan, Xingchen Sha, Toby Walsh, Lirong Xia
2025	J	`jnl`	Mechanism Design for Facility Location using Predictions. CoRR Toby Walsh
2025	B	`conf`	Multimodal Pathfinding with Personalized Travel Speed and Transfers of Unlimited Distance. ICTAI Andrii Rohovyi, Peter J. Stuckey, Toby Walsh
2025	J	`jnl`	Playing games with Large language models: Randomness and strategy. CoRR Alicia Vidler, Toby Walsh
2025	C	`conf`	Shifting Power: Leveraging LLMs to Simulate Human Aversion in ABMs of Bilateral Financial Exchanges, A Bond Market Study. MABS Alicia Vidler, Toby Walsh
2025	A	`conf`	Shifting Power: Leveraging LLMs to Simulate Human Aversion in ABMs of Bilateral Financial Exchanges, A bond market study. AAMAS Alicia Vidler, Toby Walsh
2025	J	`jnl`	Shifting Power: Leveraging LLMs to Simulate Human Aversion in ABMs of Bilateral Financial Exchanges, A bond market study. CoRR Alicia Vidler, Toby Walsh
2025	A*	`ed.`	Thirty-Ninth AAAI Conference on Artificial Intelligence, Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence, Fifteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2025, Philadelphia, PA, USA, February 25 - March 4, 2025 AAAI Toby Walsh, Julie Shah, Zico Kolter
2025	J	`jnl`	ai.txt: A Domain-Specific Language for Guiding AI Interactions with the Internet. CoRR Yuekang Li, Wei Song, Bangshuo Zhu, Dong Gong, Yi Liu, Gelei Deng, Chunyang Chen, Lei Ma, Jun Sun, Toby Walsh, Jingling Xue
2024	A	`conf`	Approximate Mechanism Design for Facility Location with Multiple Objectives. ECAI Toby Walsh
2024	J	`jnl`	Computational complexity of necessary envy-freeness. Math. Soc. Sci. Haris Aziz, Ildikó Schlotter, Toby Walsh
2024	J	`jnl`	Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. Artif. Intell. 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
2024	A*	`conf`	Fair Lotteries for Participatory Budgeting. AAAI Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, Toby Walsh
2024	J	`jnl`	Fair Lotteries for Participatory Budgeting. CoRR Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, Toby Walsh
2024	A	`conf`	Generative AI: why all the fuss? GECCO Toby Walsh
2024	J	`jnl`	Manipulation and peer mechanisms: A survey. Artif. Intell. Matthew Olckers, Toby Walsh
2024	J	`jnl`	Maximin Fair Allocation of Indivisible Items under Cost Utilities. CoRR Sirin Botan, Angus Ritossa, Mashbat Suzuki, Toby Walsh
2024	A*	`conf`	Mechanisms That Play a Game, Not Toss a Coin. IJCAI Toby Walsh
2024	A	`conf`	Mitigating Bias: Model Pruning for Enhanced Model Fairness and Efficiency. ECAI Harsh Kasyap, Ugur-Ilker Atmaca, Michela Iezzi, Toby Walsh, Carsten Maple
2024	A*	`conf`	Mixed Fair Division: A Survey. AAAI Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh
2024	J	`jnl`	Mixed Fair Division: A Survey. J. Artif. Intell. Res. Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh
2024	J	`jnl`	Modelling Opaque Bilateral Market Dynamics in Financial Trading: Insights from a Multi-Agent Simulation Study. CoRR Alicia Vidler, Toby Walsh
2024	J	`jnl`	Non cooperative Liquidity Games and their application to bond market trading. CoRR Alicia Vidler, Toby Walsh
2024	A	`conf`	Proportional Fairness in Obnoxious Facility Location. AAMAS Alexander Lam, Haris Aziz, Bo Li, Fahimeh Ramezani, Toby Walsh
2024	J	`jnl`	Timetable Nodes for Public Transport Network. CoRR Andrii Rohovyi, Peter J. Stuckey, Toby Walsh
2024	—	`conf`	TraderTalk: An LLM Behavioural ABM applied to Simulating Human Bilateral Trading Interactions. ICA Alicia Vidler, Toby Walsh
2024	J	`jnl`	TraderTalk: An LLM Behavioural ABM applied to Simulating Human Bilateral Trading Interactions. CoRR Alicia Vidler, Toby Walsh
2023	J	`jnl`	Best-of-Both-Worlds Fairness in Committee Voting. CoRR Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, Toby Walsh
2023	A*	`conf`	Fairness Concepts for Indivisible Items with Externalities. AAAI Haris Aziz, Warut Suksompong, Zhaohong Sun, Toby Walsh
2023	J	`jnl`	Incentives to Offer Algorithmic Recourse. CoRR Matthew Olckers, Toby Walsh
2023	J	`jnl`	Learning constraints through partial queries. Artif. Intell. 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
2023	B	`conf`	Maximin Fair Allocation of Indivisible Items Under Cost Utilities. SAGT Sirin Botan, Angus Ritossa, Mashbat Suzuki, Toby Walsh
2023	J	`jnl`	Mechanisms that play a game, not toss a coin. CoRR Toby Walsh
2023	J	`jnl`	Mixed Fair Division: A Survey. CoRR Shengxin Liu, Xinhang Lu, Mashbat Suzuki, Toby Walsh
2023	J	`jnl`	More than programming? The impact of AI on work and skills. CoRR Toby Walsh
2023	J	`jnl`	Nash Welfare and Facility Location. CoRR Alexander Lam, Haris Aziz, Toby Walsh
2023	A	`conf`	Proportional Fairness in Obnoxious Facility Location. AAMAS Haris Aziz, Alexander Lam, Bo Li, Fahimeh Ramezani, Toby Walsh
2023	J	`jnl`	Proportional Fairness in Obnoxious Facility Location. CoRR Haris Aziz, Alexander Lam, Bo Li, Fahimeh Ramezani, Toby Walsh
2023	J	`jnl`	Will AI end privacy? How do we avoid an Orwellian future. AI Soc. Toby Walsh
2022	J	`jnl`	Can AI invent? Nat. Mac. Intell. Alexandra George, Toby Walsh
2022	J	`jnl`	Fair allocation of indivisible goods and chores. Auton. Agents Multi Agent Syst. Haris Aziz, Ioannis Caragiannis, Ayumi Igarashi, Toby Walsh
2022	J	`jnl`	Fairness Amidst Non-IID Graph Data: A Literature Review. CoRR Wenbin Zhang, Jeremy C. Weiss, Shuigeng Zhou, Toby Walsh
2022	J	`jnl`	Gathering Strength, Gathering Storms: The One Hundred Year Study on Artificial Intelligence (AI100) 2021 Study Panel Report. CoRR 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
2022	J	`jnl`	Manipulation and Peer Mechanisms: A Survey. CoRR Matthew Olckers, Toby Walsh
2022	J	`jnl`	On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage. Ann. Oper. Res. Paul A. Chircop, Timothy J. Surendonk, Menkes Hector Louis van den Briel, Toby Walsh
2022	A*	`conf`	Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism. NeurIPS Haris Aziz, Alexander Lam, Mashbat Suzuki, Toby Walsh
2022	J	`jnl`	Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism. CoRR Haris Aziz, Alexander Lam, Mashbat Suzuki, Toby Walsh
2022	A*	`conf`	Strategy Proof Mechanisms for Facility Location with Capacity Limits. IJCAI Toby Walsh
2022	—	`conf`	Strategyproof and Proportionally Fair Facility Location. WINE Haris Aziz, Alexander Lam, Barton E. Lee, Toby Walsh
2022	J	`jnl`	The Meta-Turing Test. CoRR Toby Walsh
2022	J	`jnl`	The troubling future for facial recognition software. Commun. ACM Toby Walsh
2021	A*	`conf`	Fair Pairwise Exchange among Groups. IJCAI Zhaohong Sun, Taiki Todo, Toby Walsh
2021	J	`jnl`	Fairness Concepts for Indivisible Items with Externalities. CoRR Haris Aziz, Warut Suksompong, Zhaohong Sun, Toby Walsh
2021	—	`book`	Handbook of Satisfiability - Second Edition Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh
2021	—	`conf`	Strategy Proof Mechanisms for Facility Location at Limited Locations. PRICAI (1) Toby Walsh
2021	J	`jnl`	Strategyproof and Proportionally Fair Facility Location. CoRR Haris Aziz, Alexander Lam, Barton E. Lee, Toby Walsh
2020	J	`jnl`	A Pebble in the AI Race. CoRR Toby Walsh
2020	C	`ed.`	AIES '20: AAAI/ACM Conference on AI, Ethics, and Society, New York, NY, USA, February 7-8, 2020 AIES Annette N. Markham, Julia Powles, Toby Walsh, Anne L. Washington
2020	J	`jnl`	Adventures in Mathematical Reasoning. CoRR Toby Walsh
2020	J	`jnl`	Expected Outcomes and Manipulations in Online Fair Division. CoRR Martin Aleksandrov, Toby Walsh
2020	A*	`conf`	Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives. AAAI Haris Aziz, Hau Chan, Barton Lee, Bo Li, Toby Walsh
2020	A*	`conf`	Fair Division: The Computer Scientist's Perspective. IJCAI Toby Walsh
2020	J	`jnl`	Fair Division: The Computer Scientist's Perspective. CoRR Toby Walsh
2020	J	`jnl`	From Matching with Diversity Constraints to Matching with Regional Quotas. CoRR Haris Aziz, Serge Gaspers, Zhaohong Sun, Toby Walsh
2020	J	`jnl`	Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items. CoRR Martin Aleksandrov, Toby Walsh
2020	A*	`conf`	In Search for a SAT-friendly Binarized Neural Network Architecture. ICLR Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh
2020	J	`jnl`	Monotone and Online Fair Division. CoRR Martin Aleksandrov, Toby Walsh
2020	J	`jnl`	Most Competitive Mechanisms in Online Fair Division. CoRR Martin Aleksandrov, Toby Walsh
2020	J	`jnl`	On the Complexity of Breaking Symmetry. CoRR Toby Walsh
2020	A*	`conf`	Online Fair Division: A Survey. AAAI Martin Aleksandrov, Toby Walsh
2020	J	`jnl`	Partial Queries for Constraint Acquisition. CoRR 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
2020	J	`jnl`	Strategy Proof Mechanisms for Facility Location at Limited Locations. CoRR Toby Walsh
2020	J	`jnl`	Strategy Proof Mechanisms for Facility Location in Euclidean and Manhattan Space. CoRR Toby Walsh
2020	J	`jnl`	Strategy Proof Mechanisms for Facility Location with Capacity Limits. CoRR Toby Walsh
2020	J	`jnl`	Strategy-proofness, Envy-freeness and Pareto efficiency in Online Fair Division with Additive Utilities. CoRR Martin Aleksandrov, Toby Walsh
2020	Misc	`conf`	Two Algorithms for Additive and Fair Division of Mixed Manna. KI Martin Aleksandrov, Toby Walsh
2020	J	`jnl`	Two Algorithms for Additive and Fair Division of Mixed Manna. CoRR Martin Aleksandrov, Toby Walsh
2020	J	`jnl`	h-Index manipulation by undoing merges. Quant. Sci. Stud. René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge, Toby Walsh
2019	J	`jnl`	A Commentary on "Breaking Row and Column Symmetries in Matrix Models". CoRR Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2019	J	`jnl`	CSPLib: Twenty Years On. CoRR Ian P. Gent, Toby Walsh
2019	J	`jnl`	Experiments in Social Media. AI Mag. Toby Walsh
2019	J	`jnl`	Experiments in Social Media. CoRR Toby Walsh
2019	J	`jnl`	Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives. CoRR Haris Aziz, Hau Chan, Barton E. Lee, Bo Li, Toby Walsh
2019	A*	`conf`	Fair Allocation of Indivisible Goods and Chores. IJCAI Haris Aziz, Ioannis Caragiannis, Ayumi Igarashi, Toby Walsh
2019	—	`conf`	Fair Division Minimizing Inequality. EPIA (2) Martin Aleksandrov, Cunjing Ge, Toby Walsh
2019	A*	`conf`	Fair Online Allocation of Perishable Goods and its Application to Electric Vehicle Charging. IJCAI Enrico H. Gerding, Alvaro Perez-Diaz, Haris Aziz, Serge Gaspers, Antonia Marcu, Nicholas Mattei, Toby Walsh
2019	A	`conf`	From Matching with Diversity Constraints to Matching with Regional Quotas. AAMAS Haris Aziz, Serge Gaspers, Zhaohong Sun, Toby Walsh
2019	J	`jnl`	Greedy Algorithms for Fair Division of Mixed Manna. CoRR Martin Aleksandrov, Toby Walsh
2019	Misc	`conf`	Monotone and Online Fair Division. KI Martin Aleksandrov, Toby Walsh
2019	J	`jnl`	Online Fair Division: A Survey. CoRR Martin Aleksandrov, Toby Walsh
2019	J	`jnl`	SAT vs CSP: a commentary. CoRR Toby Walsh
2019	—	`conf`	Strategy-Proofness, Envy-Freeness and Pareto Efficiency in Online Fair Division with Additive Utilities. PRICAI (1) Martin Aleksandrov, Toby Walsh
2019	J	`jnl`	Strategyproof peer selection using randomization, partitioning, and apportionment. Artif. Intell. Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, Toby Walsh
2018	J	`jnl`	Expert and Non-expert Opinion About Technological Unemployment. Int. J. Autom. Comput. Toby Walsh
2018	J	`jnl`	Fair Division Minimizing Inequality. CoRR Martin Aleksandrov, Cunjing Ge, Toby Walsh
2018	C	`conf`	Fairness in Deceased Organ Matching. AIES Nicholas Mattei, Abdallah Saffidine, Toby Walsh
2018	J	`jnl`	Fixing balanced knockout and double elimination tournaments. Artif. Intell. Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Paul Stursberg, Toby Walsh
2018	—	`ed.`	GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018 GCAI Daniel D. Lee, Alexander Steen, Toby Walsh
2018	Misc	`conf`	Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items. KI Martin Aleksandrov, Toby Walsh
2018	A*	`conf`	The Conference Paper Assignment Problem: Using Order Weighted Averages to Assign Indivisible Goods. AAAI Jing Wu Lian, Nicholas Mattei, Renee Noble, Toby Walsh
2018	J	`jnl`	The new robber barons: the optimistic objectivists overturning the old order. AI Matters Toby Walsh
2018	A*	`conf`	Verifying Properties of Binarized Deep Neural Networks. AAAI Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
2017	B	`conf`	A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems. CPAIOR Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2017	A*	`conf`	Algorithms for Max-Min Share Fair Allocation of Indivisible Chores. AAAI Haris Aziz, Gerhard Rauchecker, Guido Schryen, Toby Walsh
2017	J	`jnl`	Deceased Organ Matching in Australia. CoRR Toby Walsh
2017	—	`conf`	Equilibria in Sequential Allocation. ADT Haris Aziz, Paul Goldberg, Toby Walsh
2017	J	`jnl`	Equilibria in Sequential Allocation. CoRR Haris Aziz, Paul Goldberg, Toby Walsh
2017	J	`jnl`	Ethical Considerations in Artificial Intelligence Courses. AI Mag. Emanuelle Burton, Judy Goldsmith, Sven Koenig, Benjamin Kuipers, Nicholas Mattei, Toby Walsh
2017	J	`jnl`	Ethical Considerations in Artificial Intelligence Courses. CoRR Emanuelle Burton, Judy Goldsmith, Sven Koenig, Benjamin Kuipers, Nicholas Mattei, Toby Walsh
2017	Misc	`conf`	Expected Outcomes and Manipulations in Online Fair Division. KI Martin Aleksandrov, Toby Walsh
2017	J	`jnl`	Expert and Non-Expert Opinion about Technological Unemployment. CoRR Toby Walsh
2017	J	`jnl`	Justified representation in approval-based committee voting. Soc. Choice Welf. Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman, Toby Walsh
2017	A*	`conf`	Mechanisms for Online Organ Matching. IJCAI Nicholas Mattei, Abdallah Saffidine, Toby Walsh
2017	Misc	`conf`	Most Competitive Mechanisms in Online Fair Division. KI Martin Aleksandrov, Toby Walsh
2017	J	`jnl`	Orbital shrinking: Theory and applications. Discret. Appl. Math. Matteo Fischetti, Leo Liberti, Domenico Salvagnin, Toby Walsh
2017	J	`jnl`	Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. J. Artif. Intell. Res. Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh
2017	A*	`conf`	Pure Nash Equilibria in Online Fair Division. IJCAI Martin Aleksandrov, Toby Walsh
2017	J	`jnl`	The Conference Paper Assignment Problem: Using Order Weighted Averages to Assign Indivisible Goods. CoRR Jing Wu Lian, Nicholas Mattei, Renee Noble, Toby Walsh
2017	—	`conf`	The Meta-Turing Test. AAAI Workshops Toby Walsh
2017	J	`jnl`	The Singularity May Never Be Near. AI Mag. Toby Walsh
2017	A	`ed.`	Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings SAT Serge Gaspers, Toby Walsh
2017	J	`jnl`	Verifying Properties of Binarized Deep Neural Networks. CoRR Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
2017	J	`jnl`	Voting: Beyond Simple Majorities and Single-Winner Elections (Dagstuhl Seminar 17261). Dagstuhl Reports Dorothea Baumeister, Piotr Faliszewski, Annick Laruelle, Toby Walsh
2016	J	`jnl`	A Study of Proxies for Shapley Allocations of Transport Costs. J. Artif. Intell. Res. Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh
2016	C	`ed.`	AI, Ethics, and Society, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Workshop: AI, Ethics, and Society Blai Bonet, Sven Koenig, Benjamin Kuipers, Illah R. Nourbakhsh, Stuart Russell, Moshe Y. Vardi, Toby Walsh
2016	J	`jnl`	Approximation Algorithms for Max-Min Share Allocations of Indivisible Chores and Goods. CoRR Haris Aziz, Gerhard Rauchecker, Guido Schryen, Toby Walsh
2016	—	`ch.`	Barriers to Manipulation in Voting. Handbook of Computational Social Choice Vincent Conitzer, Toby Walsh
2016	A*	`conf`	Control of Fair Division. IJCAI Haris Aziz, Ildikó Schlotter, Toby Walsh
2016	J	`jnl`	Empirical Evaluation of Real World Tournaments. CoRR Nicholas Mattei, Toby Walsh
2016	J	`jnl`	H-index manipulation by merging articles: Models, theory, and experiments. Artif. Intell. René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh
2016	A*	`conf`	Interdependent Scheduling Games. IJCAI Andrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh
2016	J	`jnl`	Interdependent Scheduling Games. CoRR Andrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh
2016	—	`ch.`	New Approaches to Constraint Acquisition. Data Mining and Constraint Programming Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2016	A*	`conf`	Ranking Constraints. IJCAI Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh
2016	J	`jnl`	Reports of the 2016 AAAI Workshop Program. AI Mag. Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael Witbrock, Jie Zhang
2016	A*	`conf`	Strategic Behaviour When Allocating Indivisible Goods. AAAI Toby Walsh
2016	J	`jnl`	Strategyproof Peer Selection. CoRR Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, Toby Walsh
2016	A*	`conf`	Strategyproof Peer Selection: Mechanisms, Analyses, and Experiments. AAAI Haris Aziz, Omer Lev, Nicholas Mattei, Jeffrey S. Rosenschein, Toby Walsh
2016	J	`jnl`	The Singularity May Never Be Near. CoRR Toby Walsh
2016	J	`jnl`	Three generalizations of the FOCUS constraint. Constraints An Int. J. Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
2016	J	`jnl`	Turing's red flag. Commun. ACM Toby Walsh
2016	A	`conf`	Welfare of Sequential Allocation Mechanisms for Indivisible Goods. ECAI Haris Aziz, Thomas Kalinowski, Toby Walsh, Lirong Xia
2016	A	`conf`	h-Index Manipulation by Undoing Merges. ECAI René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge, Toby Walsh
2016	J	`jnl`	h-Index Manipulation by Undoing Merges. CoRR René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge, Toby Walsh
2015	—	`conf`	A Study of Proxies for Shapley Allocations of Transport Costs. AAAI Workshop: AI for Transportation Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Scott Mattei, Toby Walsh
2015	—	`ed.`	Algorithmic Decision Theory - 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings ADT Toby Walsh
2015	J	`jnl`	Algorithms for two variants of Satisfaction Approval Voting. CoRR Haris Aziz, Toby Walsh
2015	—	`ed.`	Artificial Intelligence and Ethics, Papers from the 2015 AAAI Workshop, Austin, Texas, USA, January 25, 2015. AAAI Workshop: AI and Ethics Toby Walsh
2015	A*	`conf`	Challenges in Resource and Cost Allocation. AAAI Toby Walsh
2015	A	`conf`	Computational Aspects of Multi-Winner Approval Voting. AAMAS Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Simon Mackenzie, Nicholas Mattei, Toby Walsh
2015	A	`conf`	Controlling Elections by Replacing Candidates or Votes. AAMAS Andrea Loreggia, Nina Narodytska, Francesca Rossi, K. Brent Venable, Toby Walsh
2015	A*	`conf`	Equilibria Under the Probabilistic Serial Rule. IJCAI Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
2015	J	`jnl`	Equilibria Under the Probabilistic Serial Rule. CoRR Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
2015	J	`jnl`	Fair assignment of indivisible objects under ordinal preferences. Artif. Intell. Haris Aziz, Serge Gaspers, Simon Mackenzie, Toby Walsh
2015	J	`jnl`	Generating Single Peaked Votes. CoRR Toby Walsh
2015	A*	`conf`	H-Index Manipulation by Merging Articles: Models, Theory, and Experiments. IJCAI René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh
2015	A*	`conf`	Justified Representation in Approval-Based Committee Voting. AAAI Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman, Toby Walsh
2015	A	`conf`	Manipulating the Probabilistic Serial Rule. AAMAS Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
2015	J	`jnl`	Manipulating the Probabilistic Serial Rule. CoRR Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
2015	A*	`conf`	Online Fair Division: Analysing a Food Bank Problem. IJCAI Martin Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh
2015	J	`jnl`	Online Fair Division: analysing a Food Bank problem. CoRR Martin Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh
2015	A*	`conf`	Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. IJCAI Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh
2015	J	`jnl`	Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. CoRR Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh
2015	A*	`conf`	Possible and Necessary Allocations via Sequential Mechanisms. IJCAI Haris Aziz, Toby Walsh, Lirong Xia
2015	A*	`conf`	Reasoning about Connectivity Constraints. IJCAI Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh
2015	J	`jnl`	Reports from the 2015 AAAI Workshop Program. AI Mag. Stefano V. Albrecht, J. Christopher Beck, David L. Buckeridge, Adi Botea, Cornelia Caragea, Chi-Hung Chi, Theodoros Damoulas, Bistra Dilkina, Eric Eaton, Pooyan Fazli, Sam Ganzfried, Marius Lindauer, Marlos C. Machado, Yuri Malitsky, Gary Marcus, Sebastiaan A. Meijer, Francesca Rossi, Arash Shaban-Nejad, Sylvie Thiébaux, Manuela M. Veloso, Toby Walsh, Can Wang, Jie Zhang, Yu Zheng
2015	J	`jnl`	Turing's Red Flag. CoRR Toby Walsh
2015	J	`jnl`	Two desirable fairness concepts for allocation of indivisible objects under ordinal preferences. SIGecom Exch. Haris Aziz, Serge Gaspers, Simon Mackenzie, Toby Walsh
2015	J	`jnl`	Welfare of Sequential Allocation Mechanisms for Indivisible Goods. CoRR Haris Aziz, Thomas Kalinowski, Toby Walsh, Lirong Xia
2015	J	`jnl`	Who speaks for AI? AI Matters 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
2014	J	`jnl`	A Study of Proxies for Shapley Allocations of Transport Costs. CoRR Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh
2014	Misc	`conf`	Allocation in Practice. KI Toby Walsh
2014	J	`jnl`	Allocation in Practice. CoRR Toby Walsh
2014	B	`conf`	Buffered Resource Constraint: Algorithms and Complexity. CPAIOR Christian Bessiere, Emmanuel Hebrard, Marc-André Ménard, Claude-Guy Quimper, Toby Walsh
2014	J	`jnl`	Candy Crush is NP-hard. CoRR Toby Walsh
2014	J	`jnl`	Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. Artif. Intell. Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia
2014	—	`conf`	Computational Aspects of Multi-Winner Approval Voting. MPREF@AAAI Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Simon Mackenzie, Nicholas Mattei, Toby Walsh
2014	J	`jnl`	Computational Aspects of Multi-Winner Approval Voting. CoRR Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Simon Mackenzie, Nicholas Mattei, Toby Walsh
2014	—	`conf`	Controlling Elections by Replacing Candidates: Theoretical and Experimental Results. MPREF@AAAI Andrea Loreggia, Nina Narodytska, Francesca Rossi, K. Brent Venable, Toby Walsh
2014	A	`conf`	Fair assignment of indivisible objects under ordinal preferences. AAMAS Haris Aziz, Serge Gaspers, Simon Mackenzie, Toby Walsh
2014	A*	`conf`	Fixing a Balanced Knockout Tournament. AAAI Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Paul Stursberg, Toby Walsh
2014	—	`conf`	Fixing a Balanced Knockout Tournament. MPREF@AAAI Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Paul Stursberg, Toby Walsh
2014	A	`conf`	How Hard Is It to Control an Election by Breaking Ties? ECAI Nicholas Mattei, Nina Narodytska, Toby Walsh
2014	—	`conf`	Justified Representation in Approval-Based Committee Voting. MPREF@AAAI Haris Aziz, Toby Walsh
2014	J	`jnl`	Justified Representation in Approval-Based Committee Voting. CoRR Haris Aziz, Toby Walsh
2014	J	`jnl`	On Google Scholar H-Index Manipulation by Merging Articles. CoRR René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh
2014	J	`jnl`	Possible and Necessary Allocations via Sequential Mechanisms. CoRR Haris Aziz, Toby Walsh, Lirong Xia
2014	A	`conf`	Possible and necessary winner problem in social polls. AAMAS Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
2014	B	`conf`	Reasoning about Constraint Models. PRICAI Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Nina Narodytska, Toby Walsh
2014	B	`conf`	SAT and Hybrid Models of the Car Sequencing Problem. CPAIOR Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh
2014	J	`jnl`	Strategic aspects of the probabilistic serial rule for the allocation of goods. CoRR Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh
2014	A	`conf`	The Balance Constraint Family. CP Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh
2014	A	`conf`	The Computational Impact of Partial Votes on Strategic Voting. ECAI Nina Narodytska, Toby Walsh
2014	J	`jnl`	The Computational Impact of Partial Votes on Strategic Voting. CoRR Nina Narodytska, Toby Walsh
2014	A	`conf`	The PeerRank Method for Peer Assessment. ECAI Toby Walsh
2014	J	`jnl`	The PeerRank Method for Peer Assessment. CoRR Toby Walsh
2013	—	`conf`	A Framework for Combining Set Variable Representations. SARA Christian Bessiere, Zeynep Kiziltan, Andrea Rappini, Toby Walsh
2013	J	`jnl`	A Social Welfare Optimal Sequential Allocation Procedure CoRR Thomas Kalinowski, Nina Narodytska, Toby Walsh
2013	A*	`conf`	A Social Welfare Optimal Sequential Allocation Procedure. IJCAI Thomas Kalinowski, Nina Narodytska, Toby Walsh
2013	B	`conf`	An Adaptive Model Restarts Heuristic. CPAIOR Nina Narodytska, Toby Walsh
2013	A	`conf`	Breaking Symmetry with Different Orderings. CP Nina Narodytska, Toby Walsh
2013	J	`jnl`	Breaking Symmetry with Different Orderings. CoRR Nina Narodytska, Toby Walsh
2013	J	`jnl`	Coalitional Manipulation for Schulze's Rule CoRR Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh
2013	A	`conf`	Coalitional manipulation for Schulze's rule. AAMAS Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh
2013	A*	`conf`	Constraint Acquisition via Partial Queries. IJCAI Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2013	A*	`conf`	Detecting and Exploiting Subproblem Tractability. IJCAI Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh
2013	J	`jnl`	Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version). CoRR Christian Drescher, Toby Walsh
2013	B	`conf`	Efficient Approximation of Well-Founded Justification and Well-Founded Domination. LPNMR Christian Drescher, Toby Walsh
2013	J	`jnl`	Fair assignment of indivisible objects under ordinal preferences. CoRR Haris Aziz, Serge Gaspers, Simon Mackenzie, Toby Walsh
2013	J	`jnl`	Global SPACING Constraint (Technical Report) CoRR Nina Narodytska, Peter Skocovsky, Toby Walsh
2013	J	`jnl`	How hard is it to control an election by breaking ties? CoRR Nicholas Mattei, Nina Narodytska, Toby Walsh
2013	J	`jnl`	Local Search Approaches in Stable Matching Problems. Algorithms Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2013	A	`conf`	Manipulating two stage voting rules. AAMAS Nina Narodytska, Toby Walsh
2013	J	`jnl`	Multiset variable representations and constraint propagation. Constraints An Int. J. Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo
2013	A*	`conf`	On the Complexity of Global Scheduling Constraints under Structural Restrictions. IJCAI Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh
2013	J	`jnl`	Possible and Necessary Winner Problem in Social Polls CoRR Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
2013	A	`conf`	Possible and necessary winner problem in social polls. AAMAS Serge Gaspers, Victor Naroditskiy, Nina Narodytska, Toby Walsh
2013	—	`conf`	PrefLib: A Library for Preferences http://www.preflib.org. ADT Nicholas Mattei, Toby Walsh
2013	—	`conf`	Restricted Manipulation in Iterative Voting: Condorcet Efficiency and Borda Score. ADT Umberto Grandi, Andrea Loreggia, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2013	—	`conf`	Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency SR Umberto Grandi, Andrea Loreggia, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2013	—	`conf`	SAT Encodings for the Car Sequencing Problem. POS@SAT Valentin Mayer-Eichberger, Toby Walsh
2013	J	`jnl`	Stability, Optimality and Manipulation in Matching Problems with Weighted Preferences. Algorithms Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2013	A*	`conf`	Strategic Behavior when Allocating Indivisible Goods Sequentially. AAAI Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia
2013	J	`jnl`	Three Generalizations of the FOCUS Constraint CoRR Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
2013	A*	`conf`	Three Generalizations of the FOCUS Constraint. IJCAI Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
2013	A*	`conf`	Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote. AAAI Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh
2012	A	`conf`	A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling. CP Domenico Salvagnin, Toby Walsh
2012	J	`jnl`	AI@NICTA. AI Mag. 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
2012	—	`conf`	Answer Set Solving with Lazy Nogood Generation. ICLP (Technical Communications) Christian Drescher, Toby Walsh
2012	J	`jnl`	Combining Voting Rules Together CoRR Nina Narodytska, Toby Walsh, Lirong Xia
2012	A	`conf`	Combining Voting Rules Together. ECAI Nina Narodytska, Toby Walsh, Lirong Xia
2012	A*	`conf`	Eliminating the Weakest Link: Making Manipulation Intractable? AAAI Jessica Davies, Nina Narodytska, Toby Walsh
2012	J	`jnl`	Eliminating the Weakest Link: Making Manipulation Intractable? CoRR Jessica Davies, Nina Narodytska, Toby Walsh
2012	A	`conf`	Lot-based voting rules. AAMAS Toby Walsh, Lirong Xia
2012	J	`jnl`	Symmetry Breaking Constraints: Recent Results CoRR Toby Walsh
2012	A*	`conf`	Symmetry Breaking Constraints: Recent Results. AAAI Toby Walsh
2012	—	`conf`	TRANSIT Routing on Video Game Maps. AIIDE Leonid Antsfeld, Daniel Damir Harabor, Philip Kilby, Toby Walsh
2012	J	`jnl`	The RegularGcc Matrix Constraint CoRR Ronald de Haan, Nina Narodytska, Toby Walsh
2012	—	`conf`	The RegularGcc Matrix Constraint. Australasian Conference on Artificial Intelligence Ronald de Haan, Nina Narodytska, Toby Walsh
2012	J	`jnl`	The SeqBin Constraint Revisited CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2012	A	`conf`	The SeqBin Constraint Revisited. CP George Katsirelos, Nina Narodytska, Toby Walsh
2012	J	`jnl`	Winner determination in voting trees with incomplete preferences and weighted votes. Auton. Agents Multi Agent Syst. Jérôme Lang, Maria Silvia Pini, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh
2011	J	`jnl`	A Comparison of Lex Bounds for Multiset Variables in Constraint Programming CoRR Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh
2011	A*	`conf`	A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. AAAI Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh
2011	—	`conf`	A Local Search Approach to Solve Incomplete Fuzzy CSPs. ICAART (1) Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2011	—	`book`	A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice A Short Introduction to Preferences Francesca Rossi, Kristen Brent Venable, Toby Walsh
2011	—	`conf`	Adaptive signal-vehicle cooperative controlling system. ITSC Tung Le, Chen Cai, Toby Walsh
2011	J	`jnl`	Complexity of and Algorithms for Borda Manipulation CoRR Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2011	A*	`conf`	Complexity of and Algorithms for Borda Manipulation. AAAI Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2011	A*	`conf`	Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. AAAI Christian Drescher, Toby Walsh
2011	J	`jnl`	Dominating Manipulations in Voting with Partial Information CoRR Vincent Conitzer, Toby Walsh, Lirong Xia
2011	A*	`conf`	Dominating Manipulations in Voting with Partial Information. AAAI Vincent Conitzer, Toby Walsh, Lirong Xia
2011	J	`jnl`	Dual Modelling of Permutation and Injection Problems CoRR Brahim Hnich, Barbara M. Smith, Toby Walsh
2011	B	`conf`	Exploiting Constraints. ILP Toby Walsh
2011	A*	`ed.`	IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 IJCAI Toby Walsh
2011	J	`jnl`	Incompleteness and incomparability in preference aggregation: Complexity results. Artif. Intell. Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2011	J	`jnl`	Is computational complexity a barrier to manipulation? Ann. Math. Artif. Intell. Toby Walsh
2011	J	`jnl`	Manipulation complexity and gender neutrality in stable marriage procedures. Auton. Agents Multi Agent Syst. Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2011	J	`jnl`	Manipulation of Nanson's and Baldwin's Rules CoRR Nina Narodytska, Toby Walsh, Lirong Xia
2011	A*	`conf`	Manipulation of Nanson's and Baldwin's Rules. AAAI Nina Narodytska, Toby Walsh, Lirong Xia
2011	—	`conf`	Modelling Grammar Constraints with Answer Set Programming. ICLP (Technical Communications) Christian Drescher, Toby Walsh
2011	J	`jnl`	New algorithms for max restricted path consistency. Constraints An Int. J. Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh
2011	J	`jnl`	Online Cake Cutting (published version) CoRR Toby Walsh
2011	—	`conf`	Online Cake Cutting. ADT Toby Walsh
2011	A	`conf`	Possible and necessary winners in voting trees: majority graphs vs. profiles. AAMAS Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2011	A	`conf`	Procedural fairness in stable marriage problems. AAMAS Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2011	—	`conf`	Stability and Optimality in Matching Problems with Weighted Preferences. ICAART (Revised Selected Papers) Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2011	—	`conf`	Stability in Matching Problems with Weighted Preferences. ICAART (2) Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2011	J	`jnl`	Symmetry Breaking for Distributed Multi-Context Systems CoRR Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011	B	`conf`	Symmetry Breaking for Distributed Multi-Context Systems. LPNMR Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011	J	`jnl`	Symmetry-breaking answer set solving. AI Commun. Christian Drescher, Oana Tifrea, Toby Walsh
2011	J	`jnl`	The AllDifferent Constraint with Precedences CoRR Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2011	B	`conf`	The AllDifferent Constraint with Precedences. CPAIOR Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2011	A*	`conf`	The Next Best Solution. AAAI Ronen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh
2011	J	`jnl`	The weighted Grammar constraint. Ann. Oper. Res. George Katsirelos, Nina Narodytska, Toby Walsh
2011	A*	`conf`	Translation-Based Constraint Answer Set Solving. IJCAI Christian Drescher, Toby Walsh
2011	J	`jnl`	Translation-based Constraint Answer Set Solving CoRR Christian Drescher, Toby Walsh
2011	B	`conf`	Weights in stable marriage problems increase manipulation opportunities. TARK Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2011	J	`jnl`	Where Are the Hard Manipulation Problems? J. Artif. Intell. Res. Toby Walsh
2010	J	`jnl`	A Translational Approach to Constraint Answer Set Solving CoRR Christian Drescher, Toby Walsh
2010	J	`jnl`	A translational approach to constraint answer set solving. Theory Pract. Log. Program. Christian Drescher, Toby Walsh
2010	J	`jnl`	An Empirical Study of Borda Manipulation CoRR Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2010	J	`jnl`	An Empirical Study of the Manipulability of Single Transferable Voting CoRR Toby Walsh
2010	A	`conf`	An Empirical Study of the Manipulability of Single Transferable Voting. ECAI Toby Walsh
2010	J	`jnl`	Decomposition of the NVALUE constraint CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010	A	`conf`	Decomposition of the NValue Constraint. CP Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010	J	`jnl`	Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies. Artif. Intell. Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2010	A*	`conf`	Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms. KR Ronen I. Brafman, Francesca Rossi, Domenico Salvagnin, K. Brent Venable, Toby Walsh
2010	J	`jnl`	Improving the Performance of maxRPC CoRR Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh
2010	A	`conf`	Improving the Performance of maxRPC. CP Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh
2010	—	`conf`	Is Computational Complexity a Barrier to Manipulation? CLIMA Toby Walsh
2010	J	`jnl`	Is Computational Complexity a Barrier to Manipulation? CoRR Toby Walsh
2010	B	`conf`	Local Search for Stable Marriage Problems with Ties and Incomplete Lists. PRICAI Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2010	A	`conf`	Local search algorithms on the Stable Marriage Problem: Experimental Studies. ECAI Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2010	J	`jnl`	Local search for stable marriage problems CoRR Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2010	J	`jnl`	Local search for stable marriage problems with ties and incomplete lists CoRR Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2010	A	`conf`	Male optimality and uniqueness in stable marriage problems with partial orders. AAMAS Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2010	—	`conf`	Manipulability of Single Transferable Vote. Computational Foundations of Social Choice Toby Walsh
2010	J	`jnl`	On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2010	A	`conf`	On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. CP George Katsirelos, Nina Narodytska, Toby Walsh
2010	J	`jnl`	Online Cake Cutting CoRR Toby Walsh
2010	J	`jnl`	Parameterized Complexity Results in Symmetry Breaking CoRR Toby Walsh
2010	B	`conf`	Parameterized Complexity Results in Symmetry Breaking. IPEC Toby Walsh
2010	J	`jnl`	Propagating Conjunctions of AllDifferent Constraints CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010	A*	`conf`	Propagating Conjunctions of AllDifferent Constraints. AAAI Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2010	J	`jnl`	Reformulation of Global Constraints in Answer Set Programming CoRR Christian Drescher, Toby Walsh
2010	—	`conf`	Reformulation of Global Constraints in Answer Set Programming. Abstraction, Reformulation, and Approximation Christian Drescher, Toby Walsh
2010	J	`jnl`	Stable marriage problems with quantitative preferences CoRR Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2010	J	`jnl`	Symmetries of Symmetry Breaking Constraints CoRR George Katsirelos, Toby Walsh
2010	A	`conf`	Symmetries of Symmetry Breaking Constraints. ECAI George Katsirelos, Toby Walsh
2010	A*	`conf`	Symmetry in Solutions. AAAI Marijn Heule, Toby Walsh
2010	J	`jnl`	Symmetry within Solutions CoRR Marijn Heule, Toby Walsh
2010	B	`conf`	Symmetry within and between Solutions. PRICAI Toby Walsh
2010	J	`jnl`	Symmetry within and between solutions CoRR Toby Walsh
2010	J	`jnl`	Symmetry-breaking Answer Set Solving CoRR Christian Drescher, Oana Tifrea, Toby Walsh
2010	J	`jnl`	Where are the hard manipulation problems? CoRR Toby Walsh
2009	J	`jnl`	Aggregating Partially Ordered Preferences. J. Log. Comput. Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2009	J	`jnl`	Breaking Generator Symmetry CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2009	J	`jnl`	Breaking Value Symmetry CoRR Toby Walsh
2009	J	`jnl`	Breaking Value Symmetry CoRR Toby Walsh
2009	J	`jnl`	Circuit Complexity and Decompositions of Global Constraints CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
2009	A*	`conf`	Circuit Complexity and Decompositions of Global Constraints. IJCAI Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
2009	J	`jnl`	Combining Symmetry Breaking and Global Constraints CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2009	—	`conf`	Compact Preference Representation in Stable Marriage Problems. ADT Enrico Pilotto, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2009	J	`jnl`	Complexity of Terminating Preference Elicitation CoRR Toby Walsh
2009	J	`jnl`	Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting CoRR Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2009	J	`jnl`	Decomposition of the NVALUE constraint CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009	J	`jnl`	Decompositions of All Different, Global Cardinality and Related Constraints CoRR Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009	A*	`conf`	Decompositions of All Different, Global Cardinality and Related Constraints. IJCAI Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009	J	`jnl`	Decompositions of Grammar Constraints CoRR Claude-Guy Quimper, Toby Walsh
2009	J	`jnl`	Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies CoRR Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2009	J	`jnl`	Filtering Algorithms for the Multiset Ordering Constraint CoRR Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2009	J	`jnl`	Filtering algorithms for the multiset ordering constraint. Artif. Intell. Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2009	J	`jnl`	Flow-Based Propagators for the SEQUENCE and Related Global Constraints CoRR Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009	—	`book`	Handbook of Satisfiability Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh
2009	J	`jnl`	Manipulability of Single Transferable Vote CoRR Toby Walsh
2009	J	`jnl`	Manipulating Tournaments in Cup and Round Robin Competitions CoRR Tyrel Russell, Toby Walsh
2009	—	`conf`	Manipulating Tournaments in Cup and Round Robin Competitions. ADT Tyrel Russell, Toby Walsh
2009	J	`jnl`	Manipulation and gender neutrality in stable marriage procedures CoRR Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2009	—	`conf`	Manipulation and gender neutrality in stable marriage procedures. AAMAS (1) Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2009	J	`jnl`	Multiset Ordering Constraints CoRR Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
2009	J	`jnl`	Online Estimation of SAT Solving Runtime CoRR Shai Haim, Toby Walsh
2009	J	`jnl`	Online Search Cost Estimation for SAT Solvers CoRR Shai Haim, Toby Walsh
2009	J	`jnl`	Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints CoRR Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2009	J	`jnl`	Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints. Artif. Intell. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2009	J	`jnl`	Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques CoRR Carmel Domshlak, Francesca Rossi, K. Brent Venable, Toby Walsh
2009	J	`jnl`	Reformulating Global Grammar Constraints CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2009	B	`conf`	Reformulating Global Grammar Constraints. CPAIOR George Katsirelos, Nina Narodytska, Toby Walsh
2009	A	`conf`	Restart Strategy Selection Using Machine Learning Techniques. SAT Shai Haim, Toby Walsh
2009	J	`jnl`	Restart Strategy Selection using Machine Learning Techniques CoRR Shai Haim, Toby Walsh
2009	J	`jnl`	Restricted Global Grammar Constraints CoRR George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
2009	A	`conf`	Restricted Global Grammar Constraints. CP George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
2009	J	`jnl`	SLIDE: A Useful Special Case of the CARDPATH Constraint CoRR Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2009	J	`jnl`	Scenario-based Stochastic Constraint Programming CoRR Suresh Manandhar, Armagan Tarim, Toby Walsh
2009	J	`jnl`	Stochastic Constraint Programming CoRR Toby Walsh
2009	J	`jnl`	Stochastic Constraint Programming: A Scenario-Based Approach CoRR Armagan Tarim, Suresh Manandhar, Toby Walsh
2009	J	`jnl`	Symmetries of Symmetry Breaking Constraints CoRR George Katsirelos, Toby Walsh
2009	J	`jnl`	Symmetry Breaking Using Value Precedence CoRR Toby Walsh
2009	J	`jnl`	Tetravex is NP-complete CoRR Yasuhiko Takenaga, Toby Walsh
2009	J	`jnl`	The Complexity of Reasoning with Global Constraints CoRR Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh
2009	J	`jnl`	The Parameterized Complexity of Global Constraints CoRR Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2009	J	`jnl`	The Weighted CFG Constraint CoRR George Katsirelos, Nina Narodytska, Toby Walsh
2009	A*	`conf`	Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule. IJCAI Toby Walsh
2009	J	`jnl`	Where are the really hard manipulation problems? The phase transition in manipulating the veto rule CoRR Toby Walsh
2008	A*	`conf`	Breaking Value Symmetry. AAAI Toby Walsh
2008	—	`conf`	Combining Symmetry Breaking and Global Constraints. CSCLP George Katsirelos, Nina Narodytska, Toby Walsh
2008	Misc	`conf`	Complexity Issues in Preference Elicitation and Manipulation. ISAIM Toby Walsh
2008	—	`conf`	Complexity of terminating preference elicitation. AAMAS (2) Toby Walsh
2008	—	`ch.`	Constraint Programming. Handbook of Knowledge Representation Francesca Rossi, Peter van Beek, Toby Walsh
2008	A*	`conf`	Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting. KR Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2008	A*	`conf`	Decompositions of Grammar Constraints. AAAI Claude-Guy Quimper, Toby Walsh
2008	J	`jnl`	Domain filtering consistencies for non-binary constraints. Artif. Intell. Christian Bessiere, Kostas Stergiou, Toby Walsh
2008	A	`conf`	Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies. CP Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2008	A	`conf`	Flow-Based Propagators for the SEQUENCE and Related Global Constraints. CP Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2008	A	`conf`	Online Estimation of SAT Solving Runtime. SAT Shai Haim, Toby Walsh
2008	J	`jnl`	Preferences in Constraint Satisfaction and Optimization. AI Mag. Francesca Rossi, K. Brent Venable, Toby Walsh
2008	A	`conf`	SLIDE: A Useful Special Case of the CARDPATH Constraint. ECAI Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2008	A*	`conf`	The Parameterized Complexity of Global Constraints. AAAI Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh
2008	B	`conf`	The Weighted CfgConstraint. CPAIOR George Katsirelos, Nina Narodytska, Toby Walsh
2007	A	`conf`	A Compression Algorithm for Large Arity Extensional Constraints. CP George Katsirelos, Toby Walsh
2007	A	`conf`	Breaking Symmetry of Interchangeable Variables and Values. CP Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip
2007	A	`conf`	Breaking Value Symmetry. CP Toby Walsh
2007	J	`jnl`	Configuration. IEEE Intell. Syst. Carsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther M. Gelle, Mihaela Sabin, Ulrich Junker, Barry O'Sullivan, Rick Rabiser, Deepak Dhungana, Paul Grünbacher, Klaus Lehner, Christian Federspiel, Daniel Naus
2007	A*	`conf`	Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. IJCAI Nina Narodytska, Toby Walsh
2007	A	`conf`	Decomposing Global Grammar Constraints. CP Claude-Guy Quimper, Toby Walsh
2007	A*	`conf`	Distance Constraints in Constraint Satisfaction. IJCAI Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh
2007	A	`conf`	Encodings of the Sequence Constraint. CP Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh
2007	A*	`conf`	Incompleteness and Incomparability in Preference Aggregation. IJCAI Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2007	—	`conf`	Reformulating Global Constraints: The Slideand RegularConstraints. SARA Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh
2007	J	`jnl`	Representing and Reasoning with Preferences. AI Mag. Toby Walsh
2007	J	`jnl`	The Complexity of Reasoning with Global Constraints. Constraints An Int. J. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh
2007	A*	`conf`	Uncertainty in Preference Elicitation and Aggregation. AAAI Toby Walsh
2007	A*	`conf`	Winner Determination in Sequential Majority Voting. IJCAI Jérôme Lang, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2006	A	`conf`	Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences. ECAI Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2006	A*	`conf`	Estimating Search Tree Size. AAAI Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
2006	J	`jnl`	Filtering Algorithms for the NValueConstraint. Constraints An Int. J. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2006	A	`conf`	General Symmetry Breaking Constraints. CP Toby Walsh
2006	A	`conf`	Global Grammar Constraints. CP Claude-Guy Quimper, Toby Walsh
2006	—	`book`	Handbook of Constraint Programming Handbook of Constraint Programming Francesca Rossi, Peter van Beek, Toby Walsh
2006	J	`jnl`	Hard and soft constraints for reasoning about qualitative conditional preferences. J. Heuristics Carmel Domshlak, Steven D. Prestwich, Francesca Rossi, K. Brent Venable, Toby Walsh
2006	—	`ch.`	Introduction. Handbook of Constraint Programming Francesca Rossi, Peter van Beek, Toby Walsh
2006	A	`conf`	Inverse Consistencies for Non-Binary Constraints. ECAI Kostas Stergiou, Toby Walsh
2006	J	`jnl`	Propagation algorithms for lexicographic ordering constraints. Artif. Intell. Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2006	—	`ch.`	Randomness and Structure. Handbook of Constraint Programming Carla P. Gomes, Toby Walsh
2006	J	`jnl`	Stochastic Constraint Programming: A Scenario-Based Approach. Constraints An Int. J. Armagan Tarim, Suresh Manandhar, Toby Walsh
2006	A	`conf`	Strategic voting when aggregating partially ordered preferences. AAMAS Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh
2006	A	`conf`	Symmetry Breaking Using Value Precedence. ECAI Toby Walsh
2006	—	`conf`	Symmetry Breaking. Australian Conference on Artificial Intelligence Toby Walsh
2006	J	`jnl`	Tetravex is NP-complete. Inf. Process. Lett. Yasuhiko Takenaga, Toby Walsh
2006	A	`conf`	The ROOTS Constraint. CP Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2006	B	`conf`	The Range Constraint: Algorithms and Implementation. CPAIOR Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2005	B	`conf`	Aggregating partially ordered preferences: impossibility and possibility results. TARK Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
2005	J	`jnl`	Aggregating preferences cannot be fair. Intelligenza Artificiale Francesca Rossi, K. Brent Venable, Toby Walsh
2005	—	`conf`	Among, Common and Disjoint Constraints. CSCLP Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2005	A*	`conf`	Backbones and Backdoors in Satisfiability. AAAI Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
2005	A	`conf`	Beyond Finite Domains: The All Different and Global Cardinality Constraints. CP Claude-Guy Quimper, Toby Walsh
2005	A	`conf`	Computing Super-Schedules. CP Emmanuel Hebrard, Paul Tyler, Toby Walsh
2005	A*	`conf`	Constraint-Based Preferential Optimization. AAAI Steve Prestwich, Francesca Rossi, K. Brent Venable, Toby Walsh
2005	B	`conf`	Filtering Algorithms for the NValue Constraint. CPAIOR Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2005	A*	`conf`	Finding Diverse and Similar Solutions in Constraint Programming. AAAI Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh
2005	A	`conf`	Improved Algorithm for Finding (a, b)-Super Solutions. CP Emmanuel Hebrard, Toby Walsh
2005	A*	`conf`	Propagating Logical Combinations of Constraints. IJCAI Fahiem Bacchus, Toby Walsh
2005	J	`jnl`	Satisfiability in the Year 2005. J. Autom. Reason. Enrico Giunchiglia, Toby Walsh
2005	—	`conf`	The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. CSCLP Claude-Guy Quimper, Toby Walsh
2005	A*	`conf`	The Backbone of the Travelling Salesperson. IJCAI Philip Kilby, John K. Slaney, Toby Walsh
2005	A	`conf`	The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2005	B	`conf`	The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2005	A*	`conf`	The Range and Roots Constraints: Specifying Counting and Occurrence Problems. IJCAI Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2005	A	`ed.`	Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings SAT Fahiem Bacchus, Toby Walsh
2005	—	`conf`	Transforming and Refining Abstract Constraint Specifications. SARA Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
2004	—	`conf`	Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums. AI&M Brahim Hnich, Zeynep Kiziltan, Toby Walsh
2004	A	`conf`	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. CP Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh
2004	J	`jnl`	Dual Modelling of Permutation and Injection Problems. J. Artif. Intell. Res. Brahim Hnich, Toby Walsh, Barbara M. Smith
2004	J	`jnl`	Hybrid Modelling for Robust Solving. Ann. Oper. Res. Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2004	J	`jnl`	Principles of Constraint Programming and Constraint Processing: A Review. AI Mag. Peter van Beek, Toby Walsh
2004	A	`conf`	Robust Solutions for Constraint Satisfaction and Optimization. ECAI Emmanuel Hebrard, Brahim Hnich, Toby Walsh
2004	A	`conf`	Solving Non-clausal Formulas with DPLL Search. CP Christian Thiffault, Fahiem Bacchus, Toby Walsh
2004	A	`conf`	Solving Non-clausal Formulas with DPLL search. SAT Christian Thiffault, Fahiem Bacchus, Toby Walsh
2004	B	`conf`	Super Solutions in Constraint Programming. CPAIOR Emmanuel Hebrard, Brahim Hnich, Toby Walsh
2004	A*	`conf`	The Complexity of Global Constraints. AAAI Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh
2004	A	`conf`	The Tractability of Global Constraints. CP Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh
2004	A*	`conf`	mCP Nets: Representing and Reasoning with Preferences of Multiple Agents. AAAI Francesca Rossi, K. Brent Venable, Toby Walsh
2003	A	`conf`	Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. CP Toby Walsh
2003	A	`conf`	Constraint Patterns. CP Toby Walsh
2003	A*	`ed.`	IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 IJCAI Georg Gottlob, Toby Walsh
2003	A	`conf`	Local Consistencies in SAT. SAT Christian Bessière, Emmanuel Hebrard, Toby Walsh
2003	A*	`conf`	Multiset Ordering Constraints. IJCAI Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh
2003	A*	`conf`	Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. IJCAI Carmel Domshlak, Francesca Rossi, K. Brent Venable, Toby Walsh
2003	A*	`conf`	Scenario-based Stochastic Constraint Programming. IJCAI Suresh Manandhar, Armagan Tarim, Toby Walsh
2002	B	`conf`	A Fixpoint Based Encoding for Bounded Model Checking. FMCAD Alan M. Frisch, Daniel Sheridan, Toby Walsh
2002	J	`jnl`	AAAI 2002 Fall Symposium Series Reports. AI Mag. Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh
2002	J	`jnl`	AAAI 2002 Workshops. AI Mag. 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, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat
2002	A	`conf`	Automatic Generation of Implied Clauses for SAT. CP Lyndon Drake, Alan M. Frisch, Toby Walsh
2002	J	`jnl`	Binary vs. non-binary constraints. Artif. Intell. Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh
2002	A	`conf`	Breaking Row and Column Symmetries in Matrix Models. CP Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh
2002	—	`conf`	CGRASS: A System for Transforming Constraint Satisfaction Problems. International Workshop on Constraint Solving and Constraint Logic Programming Alan M. Frisch, Ian Miguel, Toby Walsh
2002	A	`conf`	Global Constraints for Lexicographic Orderings. CP Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
2002	A	`conf`	Models of Injection Problems. CP Brahim Hnich, Toby Walsh
2002	J	`jnl`	Satisfiability in the Year 2000. J. Autom. Reason. Ian P. Gent, Toby Walsh
2002	A	`conf`	Stochastic Constraint Programming. ECAI Toby Walsh
2002	—	`conf`	The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT. AAAI/IAAI Toby Walsh
2001	A*	`conf`	Backbones in Optimization and Approximation. IJCAI John K. Slaney, Toby Walsh
2001	B	`conf`	Permutation Problems and Channelling Constraints. LPAR Toby Walsh
2001	A	`ed.`	Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings CP Toby Walsh
2001	J	`jnl`	Random Constraint Satisfaction: Flaws and Structure. Constraints An Int. J. Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
2001	A*	`conf`	Search on High Degree Graphs. IJCAI Toby Walsh
2001	J	`jnl`	Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Mag. Berthe Y. Choueiry, Toby Walsh
2000	—	`ed.`	Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings SARA Berthe Y. Choueiry, Toby Walsh
2000	—	`conf`	Automatic Generation of Implied Constraints: Project Description. ARW Alan M. Frisch, Toby Walsh
2000	A*	`conf`	Automatic Identification of Mathematical Concepts. ICML Simon Colton, Alan Bundy, Toby Walsh
2000	—	`conf`	Automatic Invention of Integer Sequences. AAAI/IAAI Simon Colton, Alan Bundy, Toby Walsh
2000	J	`jnl`	Decomposable constraints. Artif. Intell. Ian P. Gent, Kostas Stergiou, Toby Walsh
2000	J	`jnl`	On the notion of interestingness in automated mathematical discovery. Int. J. Hum. Comput. Stud. Simon Colton, Alan Bundy, Toby Walsh
2000	—	`conf`	Reformulating Propositional Satisfiability as Constraint Satisfaction. SARA Toby Walsh
2000	A	`conf`	SAT v CSP. CP Toby Walsh
2000	J	`jnl`	Satisfiability in the Year 2000. J. Autom. Reason. Ian P. Gent, Toby Walsh
2000	A	`conf`	Singleton Consistencies. CP Patrick Prosser, Kostas Stergiou, Toby Walsh
2000	—	`conf`	Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. AAAI/IAAI Barbara M. Smith, Kostas Stergiou, Toby Walsh
1999	A*	`conf`	Automatic Concept Formation in Pure Mathematics. IJCAI Simon Colton, Alan Bundy, Toby Walsh
1999	—	`conf`	Beyond NP: the QSAT phase transition. AAAI/IAAI Ian P. Gent, Toby Walsh
1999	A	`conf`	CSP CP Ian P. Gent, Toby Walsh
1999	—	`conf`	Decomposable Constraints. New Trends in Constraints Ian P. Gent, Kostas Stergiou, Toby Walsh
1999	—	`conf`	Encodings of Non-Binary Constraint Satisfaction Problems. AAAI/IAAI Kostas Stergiou, Toby Walsh
1999	—	`conf`	Morphing: Combining Structure and Randomness. AAAI/IAAI Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh
1999	J	`jnl`	Paul R. Cohen's Empirical Methods for Artificial Intelligence. Artif. Intell. Ian P. Gent, Toby Walsh
1999	A*	`conf`	Search in a Small World. IJCAI Toby Walsh
1999	A*	`conf`	The Difference All-Difference Makes. IJCAI Kostas Stergiou, Toby Walsh
1998	J	`jnl`	Analysis of Heuristics for Number Partitioning. Comput. Intell. Ian P. Gent, Toby Walsh
1998	J	`jnl`	Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study. Inf. Process. Lett. Jeremy Frank, Ian P. Gent, Toby Walsh
1998	J	`jnl`	Empirical Methods in AI. AI Mag. Toby Walsh
1998	A	`conf`	Interleaved and Discrepancy Based Search. ECAI Pedro Meseguer, Toby Walsh
1998	A	`conf`	Random Constraint Satisfaction: Theory Meets Practice. CP Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
1998	—	`conf`	The Constrainedness Knife-Edge. AAAI/IAAI Toby Walsh
1997	J	`jnl`	Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reason. Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
1997	—	`conf`	Depth-bounded Discrepancy Search. IJCAI Toby Walsh
1997	—	`conf`	From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. IJCAI Ian P. Gent, Toby Walsh
1997	A	`conf`	The Constrainedness of Arc Consistency. CP Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
1997	—	`conf`	The Scaling of Search Cost. AAAI/IAAI Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
1997	J	`jnl`	Theories of Abstraction. AI Commun. Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
1996	J	`jnl`	A Calculus for and Termination of Rippling. J. Autom. Reason. David A. Basin, Toby Walsh
1996	J	`jnl`	A Divergence Critic for Inductive Proof CoRR Toby Walsh
1996	J	`jnl`	A Divergence Critic for Inductive Proof. J. Artif. Intell. Res. Toby Walsh
1996	Misc	`conf`	A General Purpose Reasoner for Abstraction. AI Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh
1996	A	`conf`	An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. CP Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
1996	J	`jnl`	Calculating Criticalities. Artif. Intell. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
1996	—	`conf`	Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
1996	A	`conf`	Local Search and the Number of Solutions. CP David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh
1996	A	`conf`	Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. ECAI Ian P. Gent, Toby Walsh
1996	—	`conf`	The Constrainedness of Search. AAAI/IAAI, Vol. 1 Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
1996	J	`jnl`	The Satisfiability Constraint Gap. Artif. Intell. Ian P. Gent, Toby Walsh
1996	J	`jnl`	The TSP Phase Transition. Artif. Intell. Ian P. Gent, Toby Walsh
1995	A	`conf`	Scaling Effects in the CSP Phase Transition. CP Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh
1994	—	`conf`	A Calculus for Rippling. CTRS David A. Basin, Toby Walsh
1994	A	`conf`	A Divergence Critic. CADE Toby Walsh
1994	A	`conf`	Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin
1994	J	`jnl`	Easy Problems are Sometimes Hard. Artif. Intell. Ian P. Gent, Toby Walsh
1994	A	`conf`	Termination Orderings for Rippling. CADE David A. Basin, Toby Walsh
1994	Misc	`conf`	The Hardest Random SAT Problems. KI Ian P. Gent, Toby Walsh
1994	A	`conf`	The SAT Phase Transition. ECAI Ian P. Gent, Toby Walsh
1993	J	`jnl`	An Empirical Analysis of Search in GSAT CoRR Ian P. Gent, Toby Walsh
1993	J	`jnl`	An Empirical Analysis of Search in GSAT. J. Artif. Intell. Res. Ian P. Gent, Toby Walsh
1993	A*	`conf`	Difference Unification. IJCAI David A. Basin, Toby Walsh
1993	—	`conf`	General Purpose Proof Plans. DISCO Toby Walsh
1993	J	`jnl`	The Inevitability of Inconsistent Abstract Spaces. J. Autom. Reason. Fausto Giunchiglia, Toby Walsh
1993	A*	`conf`	Towards an Understanding of Hill-Climbing Procedures for SAT. AAAI Ian P. Gent, Toby Walsh
1992	J	`jnl`	A Theory of Abstraction. Artif. Intell. Fausto Giunchiglia, Toby Walsh
1992	A	`conf`	Difference Matching. CADE David A. Basin, Toby Walsh
1992	A	`conf`	The Use of Proof Plans to Sum Series. CADE Toby Walsh, Alex Nunes, Alan Bundy
1992	A	`conf`	Tree Subsumption: Reasoning with Outlines. ECAI Fausto Giunchiglia, Toby Walsh
1989	A*	`conf`	Abstract Theorem Proving. IJCAI Fausto Giunchiglia, Toby Walsh