Eugene C. Freuder

138 papers A* 24A 27B 10C 2Misc 3Journal 39Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Replaceability and a simple substitutability hierarchy for constraint satisfaction problems. J. Exp. Theor. Artif. Intell. Richard J. Wallace, Eugene C. Freuder
2024	A*	`conf`	Conversational Modeling for Constraint Satisfaction. AAAI Eugene C. Freuder
2021	J	`jnl`	Classifier-based constraint acquisition. Ann. Math. Artif. Intell. Steven D. Prestwich, Eugene C. Freuder, Barry O'Sullivan, David Browne
2019	A*	`conf`	Relating the Structure of a Problem and Its Explanation. AAAI Eugene C. Freuder
2018	J	`jnl`	Progress towards the Holy Grail. Constraints An Int. J. Eugene C. Freuder
2017	A*	`conf`	Explaining Ourselves: Human-Aware Constraint Reasoning. AAAI Eugene C. Freuder
2017	—	`conf`	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems. GCAI Eugene C. Freuder, Richard J. Wallace
2016	J	`jnl`	Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial Optimization Problems to Obtain Robust Solutions. Int. J. Artif. Intell. Tools Laura Climent, Richard J. Wallace, Barry O'Sullivan, Eugene C. Freuder
2014	B	`conf`	Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems. ICTAI Laura Climent, Richard J. Wallace, Barry O'Sullivan, Eugene C. Freuder
2014	J	`jnl`	Grand challenges for constraint programming. Constraints An Int. J. Eugene C. Freuder, Barry O'Sullivan
2011	—	`conf`	A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game. SARA Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder
2010	J	`jnl`	A Partial Taxonomy of Substitutability and Interchangeability CoRR Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder
2010	A	`conf`	Incremental evolution of local search heuristics. GECCO Dara Curran, Eugene C. Freuder, Thomas Jansen
2010	J	`jnl`	Interleaving solving and elicitation of constraint satisfaction problems based on expected cost. Constraints An Int. J. Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
2010	J	`jnl`	Lexicographically-ordered constraint satisfaction problems. Constraints An Int. J. Eugene C. Freuder, Robert Heffernan, Richard J. Wallace, Nic Wilson
2009	B	`conf`	CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications. CPAIOR Jacob Feldman, Eugene C. Freuder, James Little
2009	—	`conf`	Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance. CSCLP Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder
2009	Misc	`conf`	Invited Talks. FLAIRS Vincent Aleven, Eugene C. Freuder, Arthur C. Graesser, James Pustejovsky, Janyce Wiebe
2009	A*	`conf`	Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features. IJCAI Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder
2008	J	`jnl`	A Space-Efficient Backtrack-Free Representation for Constraint Satisfaction Problems. Int. J. Artif. Intell. Tools J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski
2008	J	`jnl`	Properties of tree convex constraints. Artif. Intell. Yuanlin Zhang, Eugene C. Freuder
2008	—	`conf`	Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features. RCRA Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder
2007	A	`conf`	A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs. CP Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
2007	A*	`conf`	Arc Consistency during Search. IJCAI Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder
2007	B	`conf`	Maintaining constraint-based applications. K-CAP Tomas Eric Nordlander, Eugene C. Freuder, Richard J. Wallace
2006	—	`ch.`	Constraint Satisfaction: An Emerging Paradigm. Handbook of Constraint Programming Eugene C. Freuder, Alan K. Mackworth
2006	A*	`conf`	Constraints: The Ties that Bind. AAAI Eugene C. Freuder
2005	J	`jnl`	Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving. Artif. Intell. Richard J. Wallace, Eugene C. Freuder
2005	J	`jnl`	Constraints and AI Planning. IEEE Intell. Syst. Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate
2005	A*	`conf`	Corrective Explanation for Interactive Constraint Satisfaction. IJCAI Barry O'Sullivan, Barry O'Callaghan, Eugene C. Freuder
2005	A	`conf`	Generating Corrective Explanations for Interactive Constraint Satisfaction. CP Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder
2005	J	`jnl`	Learning to Support Constraint Programmers. Comput. Intell. Susan L. Epstein, Eugene C. Freuder, Richard J. Wallace
2005	A*	`conf`	Maintaining Arc Consistency using Adaptive Domain Ordering. IJCAI Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, Eugene C. Freuder
2005	A	`conf`	Methods to Learn Abstract Scheduling Models. CP Tom Carchrae, J. Christopher Beck, Eugene C. Freuder
2005	A*	`conf`	Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. AAAI Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder
2005	J	`jnl`	Supporting dispatchability in schedules with consumable resources. J. Sched. Richard J. Wallace, Eugene C. Freuder
2005	Misc	`conf`	Timid acquisition of constraint satisfaction problems. SAC Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder
2005	C	`conf`	Using CBR to Select Solution Strategies in Constraint Programming. ICCBR Cormac Gebruers, Brahim Hnich, Derek G. Bridge, Eugene C. Freuder
2004	A	`conf`	Adversarial Constraint Satisfaction by Game-Tree Search. ECAI Kenneth N. Brown, James Little, Páidí J. Creed, Eugene C. Freuder
2004	A	`conf`	Backtrack-Free Search for Real-Time Constraint Satisfaction. CP J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski
2004	B	`conf`	Boosting Constraint Satisfaction Using Decision Trees. ICTAI Barry O'Sullivan, Alex Ferguson, Eugene C. Freuder
2004	B	`conf`	Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. ICTAI Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan
2004	A	`conf`	Leveraging the Learning Power of Examples in Automated Constraint Acquisition. CP Christian Bessiere, Remi Coletta, Eugene C. Freuder, Barry O'Sullivan
2004	J	`jnl`	Multi-Agent Constraint Systems with Preferences: Efficiency, Solution Quality, and Privacy Loss. Comput. Intell. M. S. Franzin, Francesca Rossi, Eugene C. Freuder, Richard J. Wallace
2004	—	`conf`	Possibilistic Reasoning and Privacy/Efficiency Tradeoffs in Multi-agent Systems. MICAI Richard J. Wallace, Eugene C. Freuder, Marius Minca
2004	B	`conf`	Simple Rules for Low-Knowledge Algorithm Selection. CPAIOR J. Christopher Beck, Eugene C. Freuder
2004	—	`conf`	The Common Ground of Constraint Satisfaction. AAAI Technical Report (1) Eugene C. Freuder
2004	A*	`conf`	Tractable Tree Convex Constraint Networks. AAAI Yuanlin Zhang, Eugene C. Freuder
2003	—	`conf`	Constraint Acquisition as Semi-Automatic Modeling. SGAI Conf. Remi Coletta, Christian Bessiere, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joël Quinqueton
2003	—	`ch.`	Constraint Satisfaction. Handbook of Metaheuristics Eugene C. Freuder, Mark Wallace
2003	B	`conf`	Creating personalized documents: an optimization approach. ACM Symposium on Document Engineering Lisa Purvis, Steven Harrington, Barry O'Sullivan, Eugene C. Freuder
2003	A	`conf`	Greater Efficiency for Conditional Constraint Satisfaction. CP Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace
2003	A	`conf`	Interactive Tradeoff Generation. CP Moyra Duggan, Barry O'Sullivan, Eugene C. Freuder
2003	A	`conf`	Semi-automatic Modeling by Constraint Acquisition. CP Remi Coletta, Christian Bessière, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joël Quinqueton
2003	A	`conf`	Teacher and Learner Profiles for Constraint Acquisition. CP Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder
2003	J	`jnl`	The Goldilocks problem. Artif. Intell. Eng. Des. Anal. Manuf. Tudor Hulubei, Eugene C. Freuder, Richard J. Wallace
2003	A	`conf`	Useful Explanations. CP Barry O'Callaghan, Eugene C. Freuder, Barry O'Sullivan
2003	A	`conf`	Using Case-Based Reasoning to Write Constraint Programs. CP James Little, Cormac Gebruers, Derek G. Bridge, Eugene C. Freuder
2002	—	`conf`	Computing Explanations and Implications in Preference-Based Configurators. International Workshop on Constraint Solving and Constraint Logic Programming Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi, Richard J. Wallace
2002	Misc	`conf`	Constraint Acquisition. AISC Eugene C. Freuder
2002	J	`jnl`	Cork Constraint Computation Centre (Profile). IEEE Intell. Informatics Bull. Eugene C. Freuder
2002	J	`jnl`	On forward checking for non-binary constraint satisfaction. Artif. Intell. Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa
2002	J	`jnl`	Suggestion Strategies for Constraint-Based Matchmaker Agents. Int. J. Artif. Intell. Tools Eugene C. Freuder, Richard J. Wallace
2002	A	`conf`	The Adaptive Constraint Engine. CP Susan L. Epstein, Eugene C. Freuder, Richard J. Wallace, Anton Morozov, Bruce Samuels
2001	A	`conf`	Collaborative Learning for Constraint Solving. CP Susan L. Epstein, Eugene C. Freuder
2001	—	`ed.`	Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998 Constraint Programming and Large Scale Discrete Optimization Eugene C. Freuder, Richard J. Wallace
2001	C	`conf`	Constraint-Based Modeling of InterOperability Problems Using an Object-Oriented Approach. IAAI Mohammed H. Sqalli, Eugene C. Freuder
2001	A	`conf`	Deriving Explanations and Implications for Constraint Satisfaction Problems. CP Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace
2001	A	`conf`	Generating Tradeoffs for Interactive Constraint-Based Configuration. CP Eugene C. Freuder, Barry O'Sullivan
2000	J	`jnl`	Constraint Technology and the Commercial World (Interview). IEEE Intell. Syst. Eugene C. Freuder, Mark Wallace
2000	A	`conf`	Dispatchability Conditions for Schedules with Consumable Resources. ECAI Richard J. Wallace, Eugene C. Freuder
2000	—	`conf`	Dispatchable Execution of Schedules Involving Consumable Resources. AIPS Richard J. Wallace, Eugene C. Freuder
2000	J	`jnl`	Guest Editors' Introduction: Constraints. IEEE Intell. Syst. Eugene C. Freuder, Mark Wallace
2000	J	`jnl`	Reports on the AAAI 1999 Workshop Program. AI Mag. 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
1999	—	`conf`	A Constraint-Based Approach to Fault Management for Groupware Services. Integrated Network Management Mihaela Sabin, Alex Bakman, Eugene C. Freuder, Robert D. Russell
1999	J	`jnl`	Introduction to the CP96 Issue. Constraints An Int. J. Eugene C. Freuder
1999	A	`conf`	On Forward Checking for Non-binary Constraint Satisfaction. CP Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa
1999	J	`jnl`	The AAAI Spring Symposia. AI Mag. Nancy L. 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
1999	A	`conf`	The Goldilocks Problem. CP Tudor Hulubei, Eugene C. Freuder
1999	J	`jnl`	Using Constraint Metaknowledge to Reduce Arc Consistency Computation. Artif. Intell. Christian Bessière, Eugene C. Freuder, Jean-Charles Régin
1998	J	`jnl`	Constraints and Agents Confronting Ignorance. AI Mag. Peggy S. Eaton, Eugene C. Freuder, Richard J. Wallace
1998	J	`jnl`	Guest Editors' Introduction: Configuration. IEEE Intell. Syst. Boi Faltings, Eugene C. Freuder
1998	—	`conf`	Introduction to DIMACS workshop on Constraint Programming and Large Scale Discrete Optimization. Constraint Programming and Large Scale Discrete Optimization Richard J. Wallace, Eugene C. Freuder
1998	J	`jnl`	Roundtable: The Role of Configuration Knowledge in the Business Process. IEEE Intell. Syst. Eugene C. Freuder
1998	A	`conf`	Stable Solutions for Dynamic Constraint Satisfaction Problems. CP Richard J. Wallace, Eugene C. Freuder
1998	A	`conf`	Suggestion Strategies for Constraint-Based Matchmaker Agents. CP Eugene C. Freuder, Richard J. Wallace
1997	—	`conf`	Compromise Strategies for Constraint Agents. AAAI Workshop: Constraints & Agents Eugene C. Freuder, Peggy S. Eaton
1997	—	`ed.`	Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, Providence, RI, USA, July 27, 1997. AAAI Workshop: Constraints & Agents Eugene C. Freuder
1997	—	`conf`	Generating Diagnositc Tools for Network Fault Management. Integrated Network Management Mihaela Sabin, Robert D. Russell, Eugene C. Freuder
1997	J	`jnl`	In Pursuit of the Holy Grail. Constraints An Int. J. Eugene C. Freuder
1997	—	`conf`	Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction. AAAI/IAAI Eugene C. Freuder, Daniel Sabin
1997	—	`conf`	Suggestion Strategies for Constraint-Based Matchmaker Agents. AAAI Workshop: Constraints & Agents Eugene C. Freuder, Richard J. Wallace
1997	A	`conf`	Understanding and Improving the MAC Algorithm. CP Daniel Sabin, Eugene C. Freuder
1996	—	`conf`	Agent Cooperation Can Compensate For Agent Ignorance in Constraint Satisfaction. Agent Modeling Peggy S. Eaton, Eugene C. Freuder
1996	J	`jnl`	Anytime Algorithms for Constraint Satisfaction and SAT Problems. SIGART Bull. Richard J. Wallace, Eugene C. Freuder
1996	—	`conf`	Automated Formulation of Constraint Satisfaction Problems. AAAI/IAAI, Vol. 2 Mihaela Sabin, Eugene C. Freuder
1996	J	`jnl`	In Pursuit of the Holy Grail. ACM Comput. Surv. Eugene C. Freuder
1996	—	`conf`	Inference-Based Constraint Satisfaction Supports Explanation. AAAI/IAAI, Vol. 1 Mohammed H. Sqalli, Eugene C. Freuder
1996	—	`conf`	Neighborhood Inverse Consistency Preprocessing. AAAI/IAAI, Vol. 1 Eugene C. Freuder, Charles D. Elfe
1996	—	`ed.`	Over-Constrained Systems Over-Constrained Systems Michael Jampel, Eugene C. Freuder, Michael J. Maher
1996	A	`ed.`	Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996 CP Eugene C. Freuder
1995	A	`conf`	A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks. CP Daniel Sabin, Mihaela Sabin, Robert D. Russell, Eugene C. Freuder
1995	A*	`conf`	Extracting Constraint Satisfaction Subproblems. IJCAI Eugene C. Freuder, Paul D. Hubbe
1995	A*	`conf`	Generalizing Inconsistency Learning for Constraint Satisfaction. IJCAI Eugene C. Freuder, Richard J. Wallace
1995	—	`conf`	Heuristic Methods for Over-Constrained Constraint Satisfaction Problems. Over-Constrained Systems Richard J. Wallace, Eugene C. Freuder
1995	—	`conf`	Partial Constraint Satisfaction. Over-Constrained Systems Eugene C. Freuder, Richard J. Wallace
1995	A*	`conf`	Systematic Versus Stochastic Constraint Satisfaction. IJCAI Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang
1995	—	`conf`	The Many Paths to Satisfaction. Constraint Processing, Selected Papers Eugene C. Freuder
1995	A*	`conf`	Using Inference to Reduce Arc Consistency Computation. IJCAI (1) Christian Bessière, Eugene C. Freuder, Jean-Charles Régin
1995	—	`conf`	Using Metalevel Constraint Knowledge to Reduce Constraint Checking. Constraint Processing, Selected Papers Eugene C. Freuder
1994	A	`conf`	Contradicting Conventional Wisdom in Constraint Satisfaction. ECAI Daniel Sabin, Eugene C. Freuder
1994	—	`conf`	Contradicting Conventional Wisdom in Constraint Satisfaction. PPCP Daniel Sabin, Eugene C. Freuder
1993	—	`conf`	A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction. PPCP Eugene C. Freuder, Paul D. Hubbe
1993	—	`conf`	Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems. Cliques, Coloring, and Satisfiability Richard J. Wallace, Eugene C. Freuder
1993	A*	`conf`	Conjunctive Width Heuristics for Maximal Constraint Satisfaction. AAAI Richard J. Wallace, Eugene C. Freuder
1993	—	`conf`	Exploiting Structure in Constraint Satisfaction Problems. NATO ASI CP Eugene C. Freuder
1993	J	`jnl`	The Complexity of Constraint Satisfaction Revisited. Artif. Intell. Alan K. Mackworth, Eugene C. Freuder
1993	B	`conf`	Tools for Constraint Satisfaction (Panel). ICTAI Eugene C. Freuder
1993	B	`conf`	Tools for Constraint Satisfaction. ICTAI Eugene C. Freuder
1993	A*	`conf`	Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems. IJCAI Eugene C. Freuder, Paul D. Hubbe
1992	A*	`conf`	An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space. AAAI Paul D. Hubbe, Eugene C. Freuder
1992	A	`conf`	Interchangeability Preprocessing Can Improve Forward Checking Search. ECAI Brent W. Benson Jr., Eugene C. Freuder
1992	J	`jnl`	Partial Constraint Satisfaction. Artif. Intell. Eugene C. Freuder, Richard J. Wallace
1991	A*	`conf`	Completable Representations of Constraint Satisfaction Problems. KR Eugene C. Freuder
1991	A*	`conf`	Eliminating Interchangeable Values in Constraint Satisfaction Problems. AAAI Eugene C. Freuder
1991	B	`conf`	Selective relaxation for constraint satisfaction problems. ICTAI Eugene C. Freuder, Richard J. Wallace
1990	A*	`conf`	Complexity of K-Tree Structured Constraint Satisfaction Problems. AAAI Eugene C. Freuder
1990	—	`conf`	Rule compilation from constraint-based problem solving. TAI Suresh Subramanian, Eugene C. Freuder
1989	J	`jnl`	Compiling rules from constraint satisfaction problem solving. SIGART Newsl. Suresh Subramanian, Eugene C. Freuder
1989	A*	`conf`	Partial Constraint Satisfaction. IJCAI Eugene C. Freuder
1985	J	`jnl`	A Sufficient Condition for Backtrack-Bounded Search J. ACM Eugene C. Freuder
1985	A*	`conf`	Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems. IJCAI Eugene C. Freuder, Michael J. Quinn
1985	J	`jnl`	The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Artif. Intell. Alan K. Mackworth, Eugene C. Freuder
1982	J	`jnl`	A Sufficient Condition for Backtrack-Free Search. J. ACM Eugene C. Freuder
1980	A*	`conf`	Information Needed to Label a Scene. AAAI Eugene C. Freuder
1980	J	`jnl`	On the Knowledge Required to Label a Picture Graph. Artif. Intell. Eugene C. Freuder
1978	J	`jnl`	Synthesizing Constraint Expressions. Commun. ACM Eugene C. Freuder
1977	A*	`conf`	A Computer System for Visual Recognition Using Active Knowledge. IJCAI Eugene C. Freuder