Toby Walsh - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

New algorithms for max restricted path consistencyThanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh. constraints, 16(4):372-406, 2011. [doi]

The AllDifferent Constraint with PrecedencesChristian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. cpaior 2011: 36-52 [doi]

The Next Best SolutionRonen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh. AAAI 2011: [doi]

Dominating Manipulations in Voting with Partial InformationVincent Conitzer, Toby Walsh, Lirong Xia. AAAI 2011: [doi]

Complexity of and Algorithms for Borda ManipulationJessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh. AAAI 2011: [doi]

Symmetry-breaking answer set solvingChristian Drescher, Oana Tifrea, Toby Walsh. aicom, 24(2):177-194, 2011. [doi]

Symmetry Breaking for Distributed Multi-Context SystemsChristian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh. lpnmr 2011: 26-39 [doi]

Modelling Grammar Constraints with Answer Set ProgrammingChristian Drescher, Toby Walsh. ICLP 2011: 28-39 [doi]

Conflict-Driven Constraint Answer Set Solving with Lazy Nogood GenerationChristian Drescher, Toby Walsh. AAAI 2011: [doi]

Translation-Based Constraint Answer Set SolvingChristian Drescher, Toby Walsh. IJCAI 2011: 2596-2601 [doi]

A Local Search Approach to Solve Incomplete Fuzzy CSPsMirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. icaart 2011: 582-585

A Comparison of Lex Bounds for Multiset Variables in Constraint ProgrammingYat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh. AAAI 2011: [doi]

Incompleteness and incomparability in preference aggregation: Complexity resultsMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. ai, 175(7-8):1272-1289, 2011. [doi]

Manipulation complexity and gender neutrality in stable marriage proceduresMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. AAMAS, 22(1):183-199, 2011. [doi]

Stability in Matching Problems with Weighted PreferencesMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. icaart 2011: 45-53

A Short Introduction to Preferences: Between Artificial Intelligence and Social ChoiceFrancesca Rossi, Kristen Brent Venable, Toby Walsh. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, 2011. [doi]

IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011Toby Walsh, editor, IJCAI/AAAI, 2011.

2010

Improving the Performance of maxRPCThanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh. cp 2010: 69-83 [doi]

Propagating Conjunctions of AllDifferent ConstraintsChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. AAAI 2010: [doi]

Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation FormalismsRonen I. Brafman, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh. kr 2010: [doi]

Male optimality and uniqueness in stable marriage problems with partial ordersMirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. atal 2010: 1387-1388 [doi]

Local search algorithms on the Stable Marriage Problem: Experimental StudiesMirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen B. Venable, Toby Walsh. ecai 2010: 1085-1086 [doi]

Local Search for Stable Marriage Problems with Ties and Incomplete ListsMirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. pricai 2010: 64-75 [doi]

Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studiesMirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. ai, 174(3-4):270-294, 2010. [doi]

Symmetry in SolutionsMarijn Heule, Toby Walsh. AAAI 2010: [doi]

2009

Decompositions of All Different, Global Cardinality and Related ConstraintsChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. IJCAI 2009: 419-424 [doi]

Circuit Complexity and Decompositions of Global ConstraintsChristian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh. IJCAI 2009: 412-418 [doi]

Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraintsChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. ai, 173(11):1054-1078, 2009. [doi]

Handbook of SatisfiabilityArmin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Volume 185 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2009.

Filtering algorithms for the multiset ordering constraintAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh. ai, 173(2):299-328, 2009. [doi]

Restart Strategy Selection Using Machine Learning TechniquesShai Haim, Toby Walsh. sat 2009: 312-325 [doi]

Reformulating Global Grammar ConstraintsGeorge Katsirelos, Nina Narodytska, Toby Walsh. cpaior 2009: 132-147 [doi]

Restricted Global Grammar ConstraintsGeorge Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh. cp 2009: 501-508 [doi]

Compact Preference Representation in Stable Marriage ProblemsEnrico Pilotto, Francesca Rossi, Kristen Brent Venable, Toby Walsh. aldt 2009: 390-401 [doi]

Manipulation and gender neutrality in stable marriage proceduresMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. atal 2009: 665-672 [doi]

Aggregating Partially Ordered PreferencesMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. logcom, 19(3):475-502, 2009. [doi]

Manipulating Tournaments in Cup and Round Robin CompetitionsTyrel Russell, Toby Walsh. aldt 2009: 26-37 [doi]

2008

SLIDE: A Useful Special Case of the CARDPATH ConstraintChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. ecai 2008: 475-479 [doi]

The Parameterized Complexity of Global ConstraintsChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh. AAAI 2008: 235-240

Domain filtering consistencies for non-binary constraintsChristian Bessière, Kostas Stergiou, Toby Walsh. ai, 172(6-7):800-822, 2008. [doi]

Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental StudiesMirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. cp 2008: 402-417 [doi]

Online Estimation of SAT Solving RuntimeShai Haim, Toby Walsh. sat 2008: 133-138 [doi]

The Weighted CfgConstraintGeorge Katsirelos, Nina Narodytska, Toby Walsh. cpaior 2008: 323-327 [doi]

Combining Symmetry Breaking and Global ConstraintsGeorge Katsirelos, Nina Narodytska, Toby Walsh. csclp 2009: 84-98 [doi]

Flow-Based Propagators for the SEQUENCE and Related Global ConstraintsMichael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. cp 2008: 159-174 [doi]

Dealing with Incomplete Agents Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority VotingMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. kr 2008: 571-578

Decompositions of Grammar ConstraintsClaude-Guy Quimper, Toby Walsh. AAAI 2008: 1567-1570

Preferences in Constraint Satisfaction and OptimizationFrancesca Rossi, Kristen Brent Venable, Toby Walsh. aim, 29(4):58-68, 2008. [doi]

Complexity of terminating preference elicitationToby Walsh. atal 2008: 967-974 [doi]

Breaking Value SymmetryToby Walsh. AAAI 2008: 1585-1588

2007

Reformulating Global Constraints: The Slideand RegularConstraintsChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh. sara 2007: 80-92 [doi]

The Complexity of Reasoning with Global ConstraintsChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh. constraints, 12(2):239-259, 2007. [doi]

Encodings of the Sequence ConstraintSebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh. cp 2007: 210-224 [doi]

Distance Constraints in Constraint SatisfactionEmmanuel Hebrard, Barry O Sullivan, Toby Walsh. IJCAI 2007: 106-111 [doi]

A Compression Algorithm for Large Arity Extensional ConstraintsGeorge Katsirelos, Toby Walsh. cp 2007: 379-393 [doi]

Winner Determination in Sequential Majority VotingJérôme Lang, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. IJCAI 2007: 1372-1377 [doi]

Breaking Symmetry of Interchangeable Variables and ValuesYat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip. cp 2007: 423-437 [doi]

Constraint and Variable Ordering Heuristics for Compiling Configuration ProblemsNina Narodytska, Toby Walsh. IJCAI 2007: 149-154 [doi]

Incompleteness and Incomparability in Preference AggregationMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. IJCAI 2007: 1464-1469 [doi]

Decomposing Global Grammar ConstraintsClaude-Guy Quimper, Toby Walsh. cp 2007: 590-604 [doi]

ConfigurationCarsten Sinz, Albert Haag, Nina Narodytska, Toby Walsh, Esther Gelle, Mihaela Sabin, Ulrich Junker, Barry O Sullivan, Rick Rabiser, Deepak Dhungana, Paul Grünbacher, Klaus Lehner, Christian Federspiel, Daniel Naus. expert, 22(1):78-90, 2007. [doi]

Uncertainty in Preference Elicitation and AggregationToby Walsh. AAAI 2007: 3-8

Breaking Value SymmetryToby Walsh. cp 2007: 880-887 [doi]

2006

The ROOTS ConstraintChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. cp 2006: 75-90 [doi]

The Range Constraint: Algorithms and ImplementationChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. cpaior 2006: 59-73 [doi]

Filtering Algorithms for the NValueConstraintChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. constraints, 11(4):271-293, 2006. [doi]

Hard and soft constraints for reasoning about qualitative conditional preferencesCarmel Domshlak, Steven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh. heuristics, 12(4-5):263-285, 2006. [doi]

Propagation algorithms for lexicographic ordering constraintsAlan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh. ai, 170(10):803-834, 2006. [doi]

Estimating Search Tree SizePhilip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh. AAAI 2006:

Computing Possible and Necessary Winners from Incomplete Partially-Ordered PreferencesMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. ecai 2006: 767-768

Strategic voting when aggregating partially ordered preferencesMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. atal 2006: 685-687 [doi]

Global Grammar ConstraintsClaude-Guy Quimper, Toby Walsh. cp 2006: 751-755 [doi]

Inverse Consistencies for Non-Binary ConstraintsKostas Stergiou, Toby Walsh. ecai 2006: 153-157

Tetravex is NP-completeYasuhiko Takenaga, Toby Walsh. ipl, 99(5):171-174, 2006. [doi]

Stochastic Constraint Programming: A Scenario-Based ApproachArmagan Tarim, Suresh Manandhar, Toby Walsh. constraints, 11(1):53-80, 2006. [doi]

Symmetry BreakingToby Walsh. ausai 2006: 7-8 [doi]

Symmetry Breaking Using Value PrecedenceToby Walsh. ecai 2006: 168

General Symmetry Breaking ConstraintsToby Walsh. cp 2006: 650-664 [doi]

2005

Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, ProceedingsFahiem Bacchus, Toby Walsh, editors, Volume 3569 of Lecture Notes in Computer Science, Springer, 2005.

Propagating Logical Combinations of ConstraintsFahiem Bacchus, Toby Walsh. IJCAI 2005: 35-40 [doi]

The Range and Roots Constraints: Specifying Counting and Occurrence ProblemsChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. IJCAI 2005: 60-65 [doi]

Filtering Algorithms for the NValue ConstraintChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. cpaior 2005: 79-93 [doi]

Among, Common and Disjoint ConstraintsChristian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. csclp 2006: 29-43 [doi]

Transforming and Refining Abstract Constraint SpecificationsAlan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh. sara 2005: 76-91 [doi]

Satisfiability in the Year 2005Enrico Giunchiglia, Toby Walsh. JAR, 35(1-3):1-2, 2005. [doi]

Computing Super-SchedulesEmmanuel Hebrard, Paul Tyler, Toby Walsh. cp 2005: 879-879 [doi]

Improved Algorithm for Finding (a, b)-Super SolutionsEmmanuel Hebrard, Toby Walsh. cp 2005: 848 [doi]

Finding Diverse and Similar Solutions in Constraint ProgrammingEmmanuel Hebrard, Brahim Hnich, Barry O Sullivan, Toby Walsh. AAAI 2005: 372-377

The Backbone of the Travelling SalespersonPhilip Kilby, John K. Slaney, Toby Walsh. IJCAI 2005: 175-180 [doi]

Backbones and Backdoors in SatisfiabilityPhilip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh. AAAI 2005: 1368-1373

Aggregating partially ordered preferences: impossibility and possibility resultsMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. tark 2005: 193-206 [doi]

Constraint-Based Preferential OptimizationSteven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh. AAAI 2005: 461-466

The All Different and Global Cardinality Constraints on Set, Multiset and Tuple VariablesClaude-Guy Quimper, Toby Walsh. csclp 2006: 1-13 [doi]

Beyond Finite Domains: The All Different and Global Cardinality ConstraintsClaude-Guy Quimper, Toby Walsh. cp 2005: 812-816 [doi]

Aggregating preferences cannot be fairFrancesca Rossi, Kristen Brent Venable, Toby Walsh. ia, 2(1):30-38, 2005.

The G12 Project: Mapping Solver Independent Models to Efficient SolutionsPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh. ICLP 2005: 9-13 [doi]

The G12 Project: Mapping Solver Independent Models to Efficient SolutionsPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh. cp 2005: 13-16 [doi]

2004

mCP Nets: Representing and Reasoning with Preferences of Multiple AgentsFrancesca Rossi, Kristen Brent Venable, Toby Walsh. AAAI 2004: 729-734

Solving Non-clausal Formulas with DPLL SearchChristian Thiffault, Fahiem Bacchus, Toby Walsh. cp 2004: 663-678 [doi]

Solving Non-clausal Formulas with DPLL searchChristian Thiffault, Fahiem Bacchus, Toby Walsh. sat 2004: [doi]

PreviousNext