| 2011 |
|---|
| 16 | Symmetry Breaking for Distributed Multi-Context Systems. Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh. LPNMR 2011, 26-39. Web SearchBibTeXDownload |
| 2009 |
|---|
| 15 | Flow-Based Propagators for the SEQUENCE and Related Global Constraints. Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. CoRR (abs/0909.4452) (2009). Web SearchBibTeXDownload |
| 14 | Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh. CoRR (abs/0905.3766) (2009). Web SearchBibTeXDownload |
| 13 | Restricted Global Grammar Constraints. George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh. CP 2009, 501-508. Web SearchBibTeXDownload |
| 2008 |
|---|
| 12 | Flow-Based Propagators for the SEQUENCE and Related Global Constraints. Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. CP 2008, 159-174. Web SearchBibTeXDownload |
| 2007 |
|---|
| 11 | Encodings of the Sequence Constraint. Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh. CP 2007, 210-224. Web SearchBibTeXDownload |
| 2006 |
|---|
| 10 | Hard and soft constraints for reasoning about qualitative conditional preferences. Carmel Domshlak, Steven David Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh. J. Heuristics (12): 263-285 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 9 | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. Peter 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. Web SearchBibTeXDownload |
| 2003 |
|---|
| 8 | Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh. IJCAI 2003, 215-220. Web SearchBibTeX |
| 2002 |
|---|
| 7 | AAAI 2002 Fall Symposium Series Reports. Benjamin Bell, Lola Cañamero, Silvia Coradeschi, Carla P. Gomes, Alessandro Saffiotti, Costas Tsatsoulis, Toby Walsh. AI Magazine (23): 91-94 (2002). Web SearchBibTeXDownload |
| 6 | AAAI 2002 Workshops. 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. AI Magazine (23): 113-121 (2002). Web SearchBibTeXDownload |
| 1999 |
|---|
| 5 | Paul R. Cohen's Empirical Methods for Artificial Intelligence. Dennis F. Kibler, Toby Walsh. Artif. Intell. (113): 285-290 (1999). Web SearchBibTeXDownload |
| 1996 |
|---|
| 4 | Computing Abstraction Hierarchies by Numerical Simulation. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh. AAAI/IAAI, Vol. 1 1996, 523-529. Web SearchBibTeXDownload |
| 3 | Calculating Criticalities. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh. Artif. Intell. (88): 39-67 (1996). Web SearchBibTeXDownload |
| 2 | A General Purpose Reasoner for Abstraction. Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh. Canadian Conference on AI 1996, 323-335. Web SearchBibTeXDownload |
| 1994 |
|---|
| 1 | The SAT Phase Transition. Ian P. Gent, Wei Li. ECAI 1994, 105-109. Web SearchBibTeX |
