| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Toby Walsh |
Symmetry Breaking Constraints: Recent Results  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ronald de Haan, Nina Narodytska, Toby Walsh |
The RegularGcc Matrix Constraint |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nina Narodytska, Toby Walsh, Lirong Xia |
Combining Voting Rules Together |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jessica Davies, Nina Narodytska, Toby Walsh |
Eliminating the Weakest Link: Making Manipulation Intractable? |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jérôme Lang, Maria Silvia Pini, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh |
Winner determination in voting trees with incomplete preferences and weighted votes. |
Autonomous Agents and Multi-Agent Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh |
New algorithms for max restricted path consistency. |
Constraints |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drescher, Oana Tifrea, Toby Walsh |
Symmetry-breaking answer set solving. |
AI Commun. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
The weighted Grammar constraint. |
Annals OR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
The AllDifferent Constraint with Precedences |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nina Narodytska, Toby Walsh, Lirong Xia |
Manipulation of Nanson's and Baldwin's Rules |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vincent Conitzer, Toby Walsh, Lirong Xia |
Dominating Manipulations in Voting with Partial Information |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Toby Walsh |
Translation-based Constraint Answer Set Solving |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh |
Complexity of and Algorithms for Borda Manipulation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Online Cake Cutting (published version) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
Symmetry Breaking for Distributed Multi-Context Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Brahim Hnich, Barbara M. Smith, Toby Walsh |
Dual Modelling of Permutation and Injection Problems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Where Are the Hard Manipulation Problems? |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Incompleteness and incomparability in preference aggregation: Complexity results. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Walsh |
Is computational complexity a barrier to manipulation? |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Manipulation complexity and gender neutrality in stable marriage procedures. |
Autonomous Agents and Multi-Agent Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Rossi, Kristen Brent Venable, Toby Walsh |
A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice |
|
2011 |
DOI RDF |
|
| 1 | Toby Walsh (eds.) |
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Toby Walsh |
Translation-Based Constraint Answer Set Solving. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Toby Walsh |
Modelling Grammar Constraints with Answer Set Programming. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh |
Symmetry Breaking for Distributed Multi-Context Systems. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
The AllDifferent Constraint with Precedences. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Walsh |
Online Cake Cutting. |
ADT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Procedural fairness in stable marriage problems. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Possible and necessary winners in voting trees: majority graphs vs. profiles. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
A Local Search Approach to Solve Incomplete Fuzzy CSPs. |
ICAART |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Stability in Matching Problems with Weighted Preferences. |
ICAART |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Weights in stable marriage problems increase manipulation opportunities. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh |
The Next Best Solution. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vincent Conitzer, Toby Walsh, Lirong Xia |
Dominating Manipulations in Voting with Partial Information. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh |
Complexity of and Algorithms for Borda Manipulation. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nina Narodytska, Toby Walsh, Lirong Xia |
Manipulation of Nanson's and Baldwin's Rules. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Toby Walsh |
Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Toby Walsh |
Reformulation of Global Constraints in Answer Set Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Oana Tifrea, Toby Walsh |
Symmetry-breaking Answer Set Solving |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh |
Improving the Performance of maxRPC |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh |
An Empirical Study of Borda Manipulation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Toby Walsh |
A Translational Approach to Constraint Answer Set Solving |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Toby Walsh |
Symmetries of Symmetry Breaking Constraints |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Is Computational Complexity a Barrier to Manipulation? |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Propagating Conjunctions of AllDifferent Constraints |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Local search for stable marriage problems with ties and incomplete lists |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
An Empirical Study of the Manipulability of Single Transferable Voting |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Stable marriage problems with quantitative preferences |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Decomposition of the NVALUE constraint |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Where are the hard manipulation problems? |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Online Cake Cutting |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marijn Heule, Toby Walsh |
Symmetry within Solutions |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Local search for stable marriage problems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Parameterized Complexity Results in Symmetry Breaking |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Symmetry within and between solutions |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drescher, Toby Walsh |
A translational approach to constraint answer set solving. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Walsh |
Is Computational Complexity a Barrier to Manipulation? |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen B. Venable, Toby Walsh |
Local search algorithms on the Stable Marriage Problem: Experimental Studies. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | George Katsirelos, Toby Walsh |
Symmetries of Symmetry Breaking Constraints. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Walsh |
An Empirical Study of the Manipulability of Single Transferable Voting. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Parameterized Complexity Results in Symmetry Breaking. |
IPEC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Walsh |
Symmetry within and between Solutions. |
PRICAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Propagating Conjunctions of AllDifferent Constraints. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Toby Walsh |
Reformulation of Global Constraints in Answer Set Programming. |
Abstraction, Reformulation, and Approximation |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marijn Heule, Toby Walsh |
Symmetry in Solutions. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Decomposition of the NValue Constraint. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh |
Improving the Performance of maxRPC. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Aggregating Partially Ordered Preferences. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh |
Multiset Ordering Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Shai Haim, Toby Walsh |
Online Search Cost Estimation for SAT Solvers |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Where are the really hard manipulation problems? The phase transition in manipulating the veto rule |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
Reformulating Global Grammar Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
The Complexity of Reasoning with Global Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
Combining Symmetry Breaking and Global Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh |
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Toby Walsh |
Symmetries of Symmetry Breaking Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Shai Haim, Toby Walsh |
Restart Strategy Selection using Machine Learning Techniques |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh |
Filtering Algorithms for the Multiset Ordering Constraint |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Stochastic Constraint Programming |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tyrel Russell, Toby Walsh |
Manipulating Tournaments in Cup and Round Robin Competitions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Breaking Value Symmetry |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Claude-Guy Quimper, Toby Walsh |
Decompositions of Grammar Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Flow-Based Propagators for the SEQUENCE and Related Global Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Toby Walsh |
Breaking Value Symmetry |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
The Parameterized Complexity of Global Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
The Weighted CFG Constraint |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh |
Restricted Global Grammar Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
Breaking Generator Symmetry |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Decompositions of All Different, Global Cardinality and Related Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh |
Circuit Complexity and Decompositions of Global Constraints |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
SLIDE: A Useful Special Case of the CARDPATH Constraint |
CoRR |
2009 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")