Eugene C. Freuder

Orcid: 0000-0002-1467-5012

Affiliations:
  • University College Cork, Ireland


According to our database1, Eugene C. Freuder authored at least 126 papers between 1977 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Conversational Modeling for Constraint Satisfaction.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2021
Classifier-based constraint acquisition.
Ann. Math. Artif. Intell., 2021

2019
Relating the Structure of a Problem and Its Explanation.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Progress towards the Holy Grail.
Constraints An Int. J., 2018

2017
Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems.
Proceedings of the GCAI 2017, 2017

Explaining Ourselves: Human-Aware Constraint Reasoning.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Extrapolating from Limited Uncertain Information in Large-Scale Combinatorial Optimization Problems to Obtain Robust Solutions.
Int. J. Artif. Intell. Tools, 2016

2014
Grand challenges for constraint programming.
Constraints An Int. J., 2014

Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2011
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game.
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, 2011

2010
A Partial Taxonomy of Substitutability and Interchangeability
CoRR, 2010

Interleaving solving and elicitation of constraint satisfaction problems based on expected cost.
Constraints An Int. J., 2010

Lexicographically-ordered constraint satisfaction problems.
Constraints An Int. J., 2010

Incremental evolution of local search heuristics.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009
Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features.
Proceedings of the IJCAI 2009, 2009

Invited Talks.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance.
Proceedings of the Recent Advances in Constraints, 2009

CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008
A Space-Efficient Backtrack-Free Representation for Constraint Satisfaction Problems.
Int. J. Artif. Intell. Tools, 2008

Properties of tree convex constraints.
Artif. Intell., 2008

2007
Maintaining constraint-based applications.
Proceedings of the 4th International Conference on Knowledge Capture (K-CAP 2007), 2007

Arc Consistency during Search.
Proceedings of the IJCAI 2007, 2007

A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Constraint Satisfaction: An Emerging Paradigm.
Proceedings of the Handbook of Constraint Programming, 2006

Constraints: The Ties that Bind.
Proceedings of the Proceedings, 2006

2005
Supporting dispatchability in schedules with consumable resources.
J. Sched., 2005

Constraints and AI Planning.
IEEE Intell. Syst., 2005

Learning to Support Constraint Programmers.
Comput. Intell., 2005

Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving.
Artif. Intell., 2005

Timid acquisition of constraint satisfaction problems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Corrective Explanation for Interactive Constraint Satisfaction.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Maintaining Arc Consistency using Adaptive Domain Ordering.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Using CBR to Select Solution Strategies in Constraint Programming.
Proceedings of the Case-Based Reasoning, 2005

Generating Corrective Explanations for Interactive Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Methods to Learn Abstract Scheduling Models.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs.
Proceedings of the Proceedings, 2005

2004
Multi-Agent Constraint Systems with Preferences: Efficiency, Solution Quality, and Privacy Loss.
Comput. Intell., 2004

Possibilistic Reasoning and Privacy/Efficiency Tradeoffs in Multi-agent Systems.
Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

Boosting Constraint Satisfaction Using Decision Trees.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Adversarial Constraint Satisfaction by Game-Tree Search.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Simple Rules for Low-Knowledge Algorithm Selection.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

Leveraging the Learning Power of Examples in Automated Constraint Acquisition.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Backtrack-Free Search for Real-Time Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 2004

The Common Ground of Constraint Satisfaction.
Proceedings of the Achieving Human-Level Intelligence through Integrated Systems and Research, 2004

Tractable Tree Convex Constraint Networks.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
The Goldilocks problem.
Artif. Intell. Eng. Des. Anal. Manuf., 2003

Constraint Acquisition as Semi-Automatic Modeling.
Proceedings of the Research and Development in Intelligent Systems XX, 2003

Creating personalized documents: an optimization approach.
Proceedings of the 2003 ACM Symposium on Document Engineering, 2003

Greater Efficiency for Conditional Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Teacher and Learner Profiles for Constraint Acquisition.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Useful Explanations.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Using Case-Based Reasoning to Write Constraint Programs.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Interactive Tradeoff Generation.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Semi-automatic Modeling by Constraint Acquisition.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Constraint Satisfaction.
Proceedings of the Handbook of Metaheuristics, 2003

2002
Suggestion Strategies for Constraint-Based Matchmaker Agents.
Int. J. Artif. Intell. Tools, 2002

Cork Constraint Computation Centre (Profile).
IEEE Intell. Informatics Bull., 2002

On forward checking for non-binary constraint satisfaction.
Artif. Intell., 2002

The Adaptive Constraint Engine.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Computing Explanations and Implications in Preference-Based Configurators.
Proceedings of the Recent Advances in Constraints, 2002

Constraint Acquisition.
Proceedings of the Artificial Intelligence, 2002

2001
Constraint-Based Modeling of InterOperability Problems Using an Object-Oriented Approach.
Proceedings of the Thirteenth Innovative Applications of Artificial Intelligence Conference, 2001

Generating Tradeoffs for Interactive Constraint-Based Configuration.
Proceedings of the Principles and Practice of Constraint Programming, 2001

Deriving Explanations and Implications for Constraint Satisfaction Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2001

Collaborative Learning for Constraint Solving.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Guest Editors' Introduction: Constraints.
IEEE Intell. Syst., 2000

Constraint Technology and the Commercial World (Interview).
IEEE Intell. Syst., 2000

Reports on the AAAI 1999 Workshop Program.
AI Mag., 2000

Dispatchability Conditions for Schedules with Consumable Resources.
Proceedings of the ECAI 2000, 2000

Dispatchable Execution of Schedules Involving Consumable Resources.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999
Introduction to the CP96 Issue.
Constraints An Int. J., 1999

The AAAI Spring Symposia.
AI Mag., 1999

Using Constraint Metaknowledge to Reduce Arc Consistency Computation.
Artif. Intell., 1999

A Constraint-Based Approach to Fault Management for Groupware Services.
Proceedings of the 1999 IEEE/IFIP International Symposium on Integrated Network Management, 1999

The Goldilocks Problem.
Proceedings of the Principles and Practice of Constraint Programming, 1999

1998
Roundtable: The Role of Configuration Knowledge in the Business Process.
IEEE Intell. Syst., 1998

Guest Editors' Introduction: Configuration.
IEEE Intell. Syst., 1998

Constraints and Agents Confronting Ignorance.
AI Mag., 1998

Introduction to DIMACS workshop on Constraint Programming and Large Scale Discrete Optimization.
Proceedings of the Constraint Programming and Large Scale Discrete Optimization, 1998

Stable Solutions for Dynamic Constraint Satisfaction Problems.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1997
Generating Diagnositc Tools for Network Fault Management.
Proceedings of the Integrated Network Management V, 1997

Understanding and Improving the MAC Algorithm.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

Compromise Strategies for Constraint Agents.
Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

1996
Anytime Algorithms for Constraint Satisfaction and SAT Problems.
SIGART Bull., 1996

In Pursuit of the Holy Grail.
ACM Comput. Surv., 1996

Inference-Based Constraint Satisfaction Supports Explanation.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Automated Formulation of Constraint Satisfaction Problems.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Neighborhood Inverse Consistency Preprocessing.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Agent Cooperation Can Compensate For Agent Ignorance in Constraint Satisfaction.
Proceedings of the Agent Modeling, Papers from the 1996 AAAI Workshop, 1996

1995
Generalizing Inconsistency Learning for Constraint Satisfaction.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Extracting Constraint Satisfaction Subproblems.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Systematic Versus Stochastic Constraint Satisfaction.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Using Inference to Reduce Arc Consistency Computation.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Heuristic Methods for Over-Constrained Constraint Satisfaction Problems.
Proceedings of the Over-Constrained Systems, 1995

A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks.
Proceedings of the Principles and Practice of Constraint Programming, 1995

Using Metalevel Constraint Knowledge to Reduce Constraint Checking.
Proceedings of the Constraint Processing, Selected Papers, 1995

The Many Paths to Satisfaction.
Proceedings of the Constraint Processing, Selected Papers, 1995

1994
Contradicting Conventional Wisdom in Constraint Satisfaction.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993
The Complexity of Constraint Satisfaction Revisited.
Artif. Intell., 1993

A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction.
Proceedings of the Principles and Practice of Constraint Programming, 1993

Exploiting Structure in Constraint Satisfaction Problems.
Proceedings of the Constraint Programming, 1993

Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Tools for Constraint Satisfaction (Panel).
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

Tools for Constraint Satisfaction.
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems.
Proceedings of the Cliques, 1993

Conjunctive Width Heuristics for Maximal Constraint Satisfaction.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
Partial Constraint Satisfaction.
Artif. Intell., 1992

Interchangeability Preprocessing Can Improve Forward Checking Search.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
Completable Representations of Constraint Satisfaction Problems.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Selective relaxation for constraint satisfaction problems.
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

Eliminating Interchangeable Values in Constraint Satisfaction Problems.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990
Rule compilation from constraint-based problem solving.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Complexity of K-Tree Structured Constraint Satisfaction Problems.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989
Compiling rules from constraint satisfaction problem solving.
SIGART Newsl., 1989

Partial Constraint Satisfaction.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1985
A Sufficient Condition for Backtrack-Bounded Search
J. ACM, October, 1985

The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems.
Artif. Intell., 1985

Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1982
A Sufficient Condition for Backtrack-Free Search.
J. ACM, 1982

1980
On the Knowledge Required to Label a Picture Graph.
Artif. Intell., 1980

Information Needed to Label a Scene.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1978
Synthesizing Constraint Expressions.
Commun. ACM, 1978

1977
A Computer System for Visual Recognition Using Active Knowledge.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977


  Loading...