| 2008 |
|---|
| 101 | EE | Yuanlin Zhang,
Eugene C. Freuder:
Properties of tree convex constraints.
Artif. Intell. 172(12-13): 1605-1612 (2008) |
| 100 | EE | J. Christopher Beck,
Tom Carchrae,
Eugene C. Freuder,
Georg Ringwelski:
A Space-Efficient Backtrack-Free Representation for Constraint Satisfaction Problems.
International Journal on Artificial Intelligence Tools 17(4): 703-730 (2008) |
| 2007 |
|---|
| 99 | EE | Nic Wilson,
Diarmuid Grimes,
Eugene C. Freuder:
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs.
CP 2007: 666-680 |
| 98 | EE | Chavalit Likitvivatanavong,
Yuanlin Zhang,
Scott Shannon,
James Bowen,
Eugene C. Freuder:
Arc Consistency during Search.
IJCAI 2007: 137-142 |
| 97 | EE | Tomas Eric Nordlander,
Eugene C. Freuder,
Richard J. Wallace:
Maintaining constraint-based applications.
K-CAP 2007: 79-86 |
| 2006 |
|---|
| 96 | | Eugene C. Freuder:
Constraints: The Ties that Bind.
AAAI 2006 |
| 2005 |
|---|
| 95 | | Anagh Lal,
Berthe Y. Choueiry,
Eugene C. Freuder:
Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs.
AAAI 2005: 397-404 |
| 94 | EE | Barry O'Callaghan,
Barry O'Sullivan,
Eugene C. Freuder:
Generating Corrective Explanations for Interactive Constraint Satisfaction.
CP 2005: 445-459 |
| 93 | EE | Tom Carchrae,
J. Christopher Beck,
Eugene C. Freuder:
Methods to Learn Abstract Scheduling Models.
CP 2005: 842 |
| 92 | EE | Cormac Gebruers,
Brahim Hnich,
Derek G. Bridge,
Eugene C. Freuder:
Using CBR to Select Solution Strategies in Constraint Programming.
ICCBR 2005: 222-236 |
| 91 | EE | Chavalit Likitvivatanavong,
Yuanlin Zhang,
James Bowen,
Eugene C. Freuder:
Maintaining Arc Consistency using Adaptive Domain Ordering.
IJCAI 2005: 1527-1528 |
| 90 | EE | Barry O'Sullivan,
Barry O'Callaghan,
Eugene C. Freuder:
Corrective Explanation for Interactive Constraint Satisfaction.
IJCAI 2005: 1531-1532 |
| 89 | EE | Sarah O'Connell,
Barry O'Sullivan,
Eugene C. Freuder:
Timid acquisition of constraint satisfaction problems.
SAC 2005: 404-408 |
| 88 | EE | Richard J. Wallace,
Eugene C. Freuder:
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving.
Artif. Intell. 161(1-2): 209-227 (2005) |
| 87 | EE | Alexander Nareyek,
Eugene C. Freuder,
Robert Fourer,
Enrico Giunchiglia,
Robert P. Goldman,
Henry A. Kautz,
Jussi Rintanen,
Austin Tate:
Constraints and AI Planning.
IEEE Intelligent Systems 20(2): 62-72 (2005) |
| 86 | EE | Richard J. Wallace,
Eugene C. Freuder:
Supporting dispatchability in schedules with consumable resources.
J. Scheduling 8(1): 7-23 (2005) |
| 2004 |
|---|
| 85 | | Yuanlin Zhang,
Eugene C. Freuder:
Tractable Tree Convex Constraint Networks.
AAAI 2004: 197-203 |
| 84 | EE | Christian Bessière,
Remi Coletta,
Eugene C. Freuder,
Barry O'Sullivan:
Leveraging the Learning Power of Examples in Automated Constraint Acquisition.
CP 2004: 123-137 |
| 83 | EE | J. Christopher Beck,
Tom Carchrae,
Eugene C. Freuder,
Georg Ringwelski:
Backtrack-Free Search for Real-Time Constraint Satisfaction.
CP 2004: 92-106 |
| 82 | EE | J. Christopher Beck,
Eugene C. Freuder:
Simple Rules for Low-Knowledge Algorithm Selection.
CPAIOR 2004: 50-64 |
| 81 | | Kenneth N. Brown,
James Little,
Páidí J. Creed,
Eugene C. Freuder:
Adversarial Constraint Satisfaction by Game-Tree Search.
ECAI 2004: 151-155 |
| 80 | EE | Stefano Bistarelli,
Eugene C. Freuder,
Barry O'Sullivan:
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.
ICTAI 2004: 240-245 |
| 79 | EE | Barry O'Sullivan,
Alex Ferguson,
Eugene C. Freuder:
Boosting Constraint Satisfaction Using Decision Trees.
ICTAI 2004: 646-651 |
| 78 | EE | Richard J. Wallace,
Eugene C. Freuder,
Marius Minca:
Possibilistic Reasoning and Privacy/Efficiency Tradeoffs in Multi-agent Systems.
MICAI 2004: 380-389 |
| 2003 |
|---|
| 77 | EE | Lisa Purvis,
Steven Harrington,
Barry O'Sullivan,
Eugene C. Freuder:
Creating personalized documents: an optimization approach.
ACM Symposium on Document Engineering 2003: 68-77 |
| 76 | EE | Mihaela Sabin,
Eugene C. Freuder,
Richard J. Wallace:
Greater Efficiency for Conditional Constraint Satisfaction.
CP 2003: 649-663 |
| 75 | EE | Remi Coletta,
Christian Bessière,
Barry O'Sullivan,
Eugene C. Freuder,
Sarah O'Connell,
Joël Quinqueton:
Semi-automatic Modeling by Constraint Acquisition.
CP 2003: 812-816 |
| 74 | EE | Moyra Duggan,
Barry O'Sullivan,
Eugene C. Freuder:
Interactive Tradeoff Generation.
CP 2003: 970 |
| 73 | EE | James Little,
Cormac Gebruers,
Derek G. Bridge,
Eugene C. Freuder:
Using Case-Based Reasoning to Write Constraint Programs.
CP 2003: 983 |
| 72 | EE | Barry O'Callaghan,
Eugene C. Freuder,
Barry O'Sullivan:
Useful Explanations.
CP 2003: 988 |
| 71 | EE | Sarah O'Connell,
Barry O'Sullivan,
Eugene C. Freuder:
Teacher and Learner Profiles for Constraint Acquisition.
CP 2003: 989 |
| 70 | | Tudor Hulubei,
Eugene C. Freuder,
Richard J. Wallace:
The Goldilocks problem.
AI EDAM 17(1): 3-11 (2003) |
| 2002 |
|---|
| 69 | EE | Eugene C. Freuder:
Constraint Acquisition.
AISC 2002: 1 |
| 68 | EE | Susan L. Epstein,
Eugene C. Freuder,
Richard J. Wallace,
Anton Morozov,
Bruce Samuels:
The Adaptive Constraint Engine.
CP 2002: 525-542 |
| 67 | EE | Eugene C. Freuder,
Chavalit Likitvivatanavong,
Manuela Moretti,
Francesca Rossi,
Richard J. Wallace:
Computing Explanations and Implications in Preference-Based Configurators.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 76-92 |
| 66 | EE | Christian Bessière,
Pedro Meseguer,
Eugene C. Freuder,
Javier Larrosa:
On forward checking for non-binary constraint satisfaction.
Artif. Intell. 141(1/2): 205-224 (2002) |
| 65 | EE | Eugene C. Freuder:
Cork Constraint Computation Centre (Profile).
IEEE Computational Intelligence Bulletin 1(1): 4-5 (2002) |
| 64 | EE | Eugene C. Freuder,
Richard J. Wallace:
Suggestion Strategies for Constraint-Based Matchmaker Agents.
International Journal on Artificial Intelligence Tools 11(1): 3-18 (2002) |
| 2001 |
|---|
| 63 | EE | Susan L. Epstein,
Eugene C. Freuder:
Collaborative Learning for Constraint Solving.
CP 2001: 46-60 |
| 62 | EE | Eugene C. Freuder,
Chavalit Likitvivatanavong,
Richard J. Wallace:
Deriving Explanations and Implications for Constraint Satisfaction Problems.
CP 2001: 585-589 |
| 61 | EE | Eugene C. Freuder,
Barry O'Sullivan:
Generating Tradeoffs for Interactive Constraint-Based Configuration.
CP 2001: 590-594 |
| 60 | | Mohammed H. Sqalli,
Eugene C. Freuder:
Constraint-Based Modeling of InterOperability Problems Using an Object-Oriented Approach.
IAAI 2001: 87-94 |
| 2000 |
|---|
| 59 | | Richard J. Wallace,
Eugene C. Freuder:
Dispatchable Execution of Schedules Involving Consumable Resources.
AIPS 2000: 283-290 |
| 58 | | Richard J. Wallace,
Eugene C. Freuder:
Dispatchability Conditions for Schedules with Consumable Resources.
ECAI 2000: 536-542 |
| 57 | | Brian Drabble,
Laurent Chaudron,
Catherine Tessier,
Sue Abu-Hakima,
Steven Willmott,
Jim Austin,
Boi Faltings,
Eugene C. Freuder,
Gerhard Friedrich,
Alex Alves Freitas,
Ulises Cortés,
Miquel Sànchez-Marrè,
David W. Aha,
Irma Becerra-Fernandez,
Héctor Muñoz-Avila,
Aditya Ghose,
Tim Menzies,
Ken Satoh,
Mary Elaine Califf,
Michael T. Cox,
Sandip Sen,
Patrick Brézillon,
Jean-Charles Pomerol,
Roy M. Turner,
Elise H. Turner:
Reports on the AAAI 1999 Workshop Program.
AI Magazine 21(1): 95-100 (2000) |
| 56 | EE | Eugene C. Freuder,
Mark Wallace:
Constraint Technology and the Commercial World (Interview).
IEEE Intelligent Systems 15(1): 20-23 (2000) |
| 55 | EE | Eugene C. Freuder,
Mark Wallace:
Guest Editors' Introduction: Constraints.
IEEE Intelligent Systems 15(1): 24-25 (2000) |
| 1999 |
|---|
| 54 | | Tudor Hulubei,
Eugene C. Freuder:
The Goldilocks Problem.
CP 1999: 234-245 |
| 53 | | Christian Bessière,
Pedro Meseguer,
Eugene C. Freuder,
Javier Larrosa:
On Forward Checking for Non-binary Constraint Satisfaction.
CP 1999: 88-102 |
| 52 | | Nancy Green,
Jennifer Chu-Carroll,
David Kortenkamp,
Alan C. Schultz,
Michael H. Coen,
Dragomir R. Radev,
Eduard H. Hovy,
Peter Haddawy,
Steve Hanks,
Eugene C. Freuder,
Charlie Ortiz,
Sandip Sen:
The AAAI Spring Symposia.
AI Magazine 20(3): 83-86 (1999) |
| 51 | EE | Christian Bessière,
Eugene C. Freuder,
Jean-Charles Régin:
Using Constraint Metaknowledge to Reduce Arc Consistency Computation.
Artif. Intell. 107(1): 125-148 (1999) |
| 50 | | Eugene C. Freuder:
Introduction to the CP96 Issue.
Constraints 4(2): 99 (1999) |
| 1998 |
|---|
| 49 | EE | Eugene C. Freuder,
Richard J. Wallace:
Suggestion Strategies for Constraint-Based Matchmaker Agents.
CP 1998: 192-204 |
| 48 | EE | Richard J. Wallace,
Eugene C. Freuder:
Stable Solutions for Dynamic Constraint Satisfaction Problems.
CP 1998: 447-461 |
| 47 | | Peggy S. Eaton,
Eugene C. Freuder,
Richard J. Wallace:
Constraints and Agents Confronting Ignorance.
AI Magazine 19(2): 51-65 (1998) |
| 46 | | Eugene C. Freuder:
Roundtable: The Role of Configuration Knowledge in the Business Process.
IEEE Intelligent Systems 13(4): 29-31 (1998) |
| 45 | | Boi Faltings,
Eugene C. Freuder:
Guest Editors' Introduction: Configuration.
IEEE Intelligent Systems 13(4): 32-33 (1998) |
| 1997 |
|---|
| 44 | | Eugene C. Freuder,
Daniel Sabin:
Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction.
AAAI/IAAI 1997: 191-196 |
| 43 | | Daniel Sabin,
Eugene C. Freuder:
Understanding and Improving the MAC Algorithm.
CP 1997: 167-181 |
| 42 | | Mihaela Sabin,
Robert D. Russell,
Eugene C. Freuder:
Generating Diagnositc Tools for Network Fault Management.
Integrated Network Management 1997: 700-711 |
| 41 | | Eugene C. Freuder:
In Pursuit of the Holy Grail.
Constraints 2(1): 57-61 (1997) |
| 1996 |
|---|
| 40 | | Michael Jampel,
Eugene C. Freuder,
Michael J. Maher:
Over-Constrained Systems
Springer 1996 |
| 39 | | Eugene C. Freuder:
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996
Springer 1996 |
| 38 | | Eugene C. Freuder,
Charles D. Elfe:
Neighborhood Inverse Consistency Preprocessing.
AAAI/IAAI, Vol. 1 1996: 202-208 |
| 37 | | Mohammed H. Sqalli,
Eugene C. Freuder:
Inference-Based Constraint Satisfaction Supports Explanation.
AAAI/IAAI, Vol. 1 1996: 318-325 |
| 36 | | Mihaela Sabin,
Eugene C. Freuder:
Automated Formulation of Constraint Satisfaction Problems.
AAAI/IAAI, Vol. 2 1996: 1407-1407 |
| 35 | | Peggy S. Eaton,
Eugene C. Freuder:
Agent Cooperation Can Compensate For Agent Ignorance in Constraint Satisfaction.
Agent Modeling 1996: 24-29 |
| 34 | | Eugene C. Freuder:
In Pursuit of the Holy Grail.
ACM Comput. Surv. 28(4es): 63 (1996) |
| 33 | | Richard J. Wallace,
Eugene C. Freuder:
Anytime Algorithms for Constraint Satisfaction and SAT Problems.
SIGART Bulletin 7(2): 7-10 (1996) |
| 1995 |
|---|
| 32 | | Daniel Sabin,
Mihaela Sabin,
Robert D. Russell,
Eugene C. Freuder:
A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks.
CP 1995: 463-480 |
| 31 | | Eugene C. Freuder:
The Many Paths to Satisfaction.
Constraint Processing, Selected Papers 1995: 103-119 |
| 30 | | Eugene C. Freuder:
Using Metalevel Constraint Knowledge to Reduce Constraint Checking.
Constraint Processing, Selected Papers 1995: 171-184 |
| 29 | | Eugene C. Freuder,
Rina Dechter,
Matthew L. Ginsberg,
Bart Selman,
Edward P. K. Tsang:
Systematic Versus Stochastic Constraint Satisfaction.
IJCAI 1995: 2027-2032 |
| 28 | | Eugene C. Freuder,
Paul D. Hubbe:
Extracting Constraint Satisfaction Subproblems.
IJCAI 1995: 548-557 |
| 27 | | Eugene C. Freuder,
Richard J. Wallace:
Generalizing Inconsistency Learning for Constraint Satisfaction.
IJCAI 1995: 563-571 |
| 26 | | Christian Bessière,
Eugene C. Freuder,
Jean-Charles Régin:
Using Inference to Reduce Arc Consistency Computation.
IJCAI (1) 1995: 592-599 |
| 25 | | Richard J. Wallace,
Eugene C. Freuder:
Heuristic Methods for Over-Constrained Constraint Satisfaction Problems.
Over-Constrained Systems 1995: 207-216 |
| 24 | | Eugene C. Freuder,
Richard J. Wallace:
Partial Constraint Satisfaction.
Over-Constrained Systems 1995: 63-110 |
| 1994 |
|---|
| 23 | | Daniel Sabin,
Eugene C. Freuder:
Contradicting Conventional Wisdom in Constraint Satisfaction.
ECAI 1994: 125-129 |
| 22 | | Daniel Sabin,
Eugene C. Freuder:
Contradicting Conventional Wisdom in Constraint Satisfaction.
PPCP 1994: 10-20 |
| 1993 |
|---|
| 21 | | Richard J. Wallace,
Eugene C. Freuder:
Conjunctive Width Heuristics for Maximal Constraint Satisfaction.
AAAI 1993: 762-768 |
| 20 | | Eugene C. Freuder:
Tools for Constraint Satisfaction (Panel).
ICTAI 1993: 6 |
| 19 | | Eugene C. Freuder:
Tools for Constraint Satisfaction.
ICTAI 1993: 7 |
| 18 | | Eugene C. Freuder,
Paul D. Hubbe:
Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems.
IJCAI 1993: 254-261 |
| 17 | | Eugene C. Freuder,
Paul D. Hubbe:
A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction.
PPCP 1993: 70-79 |
| 16 | | Alan K. Mackworth,
Eugene C. Freuder:
The Complexity of Constraint Satisfaction Revisited.
Artif. Intell. 59(1-2): 57-62 (1993) |
| 1992 |
|---|
| 15 | | Paul D. Hubbe,
Eugene C. Freuder:
An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space.
AAAI 1992: 421-427 |
| 14 | | Brent W. Benson Jr.,
Eugene C. Freuder:
Interchangeability Preprocessing Can Improve Forward Checking Search.
ECAI 1992: 28-30 |
| 13 | | Eugene C. Freuder,
Richard J. Wallace:
Partial Constraint Satisfaction.
Artif. Intell. 58(1-3): 21-70 (1992) |
| 1991 |
|---|
| 12 | | Eugene C. Freuder:
Eliminating Interchangeable Values in Constraint Satisfaction Problems.
AAAI 1991: 227-233 |
| 11 | | Eugene C. Freuder:
Completable Representations of Constraint Satisfaction Problems.
KR 1991: 186-195 |
| 1990 |
|---|
| 10 | | Eugene C. Freuder:
Complexity of K-Tree Structured Constraint Satisfaction Problems.
AAAI 1990: 4-9 |
| 1989 |
|---|
| 9 | | Eugene C. Freuder:
Partial Constraint Satisfaction.
IJCAI 1989: 278-283 |
| 1985 |
|---|
| 8 | | Eugene C. Freuder,
Michael J. Quinn:
Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems.
IJCAI 1985: 1076-1078 |
| 7 | | Alan K. Mackworth,
Eugene C. Freuder:
The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems.
Artif. Intell. 25(1): 65-74 (1985) |
| 6 | EE | Eugene C. Freuder:
A Sufficient Condition for Backtrack-Bounded Search
J. ACM 32(4): 755-761 (1985) |
| 1982 |
|---|
| 5 | EE | Eugene C. Freuder:
A Sufficient Condition for Backtrack-Free Search.
J. ACM 29(1): 24-32 (1982) |
| 1980 |
|---|
| 4 | | Eugene C. Freuder:
Information Needed to Label a Scene.
AAAI 1980: 15-20 |
| 3 | | Eugene C. Freuder:
On the Knowledge Required to Label a Picture Graph.
Artif. Intell. 15(1-2): 1-17 (1980) |
| 1978 |
|---|
| 2 | | Eugene C. Freuder:
Synthesizing Constraint Expressions.
Commun. ACM 21(11): 958-966 (1978) |
| 1977 |
|---|
| 1 | | Eugene C. Freuder:
A Computer System for Visual Recognition Using Active Knowledge.
IJCAI 1977: 671-677 |
