Eugene C. Freuder

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.

[BibT_eX]

[DOI]

Proceedings of the Case-Based Reasoning, 2005

Generating Corrective Explanations for Interactive Constraint Satisfaction.

[BibT_eX]

[DOI]

Barry O'Callaghan

Proceedings of the Principles and Practice of Constraint Programming, 2005

Methods to Learn Abstract Scheduling Models.

[BibT_eX]

[DOI]

Tom Carchrae

J. Christopher Beck

Proceedings of the Principles and Practice of Constraint Programming, 2005

Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs.

[BibT_eX]

[DOI]

Anagh Lal

Berthe Y. Choueiry

Proceedings of the Proceedings, 2005

2004

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

[BibT_eX]

[DOI]

Comput. Intell., 2004

Possibilistic Reasoning and Privacy/Efficiency Tradeoffs in Multi-agent Systems.

[BibT_eX]

[DOI]

Marius Minca

Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

Boosting Constraint Satisfaction Using Decision Trees.

[BibT_eX]

[DOI]

Alex Ferguson

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.

[BibT_eX]

[DOI]

Stefano Bistarelli

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Adversarial Constraint Satisfaction by Game-Tree Search.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Simple Rules for Low-Knowledge Algorithm Selection.

[BibT_eX]

[DOI]

J. Christopher Beck

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.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

Backtrack-Free Search for Real-Time Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

The Common Ground of Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Achieving Human-Level Intelligence through Integrated Systems and Research, 2004

Tractable Tree Convex Constraint Networks.

[BibT_eX]

[DOI]

Yuanlin Zhang

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

The Goldilocks problem.

[BibT_eX]

[DOI]

Tudor Hulubei

Artif. Intell. Eng. Des. Anal. Manuf., 2003

Constraint Acquisition as Semi-Automatic Modeling.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XX, 2003

Creating personalized documents: an optimization approach.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Document Engineering, 2003

Greater Efficiency for Conditional Constraint Satisfaction.

[BibT_eX]

[DOI]

Mihaela Sabin

Proceedings of the Principles and Practice of Constraint Programming, 2003

Teacher and Learner Profiles for Constraint Acquisition.

[BibT_eX]

[DOI]

Sarah O'Connell

Proceedings of the Principles and Practice of Constraint Programming, 2003

Useful Explanations.

[BibT_eX]

[DOI]

Barry O'Callaghan

Proceedings of the Principles and Practice of Constraint Programming, 2003

Using Case-Based Reasoning to Write Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Interactive Tradeoff Generation.

[BibT_eX]

[DOI]

Moyra Duggan

Proceedings of the Principles and Practice of Constraint Programming, 2003

Semi-automatic Modeling by Constraint Acquisition.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Constraint Satisfaction.

[BibT_eX]

[DOI]

Mark Wallace

Proceedings of the Handbook of Metaheuristics, 2003

2002

Suggestion Strategies for Constraint-Based Matchmaker Agents.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2002

Cork Constraint Computation Centre (Profile).

[BibT_eX]

[DOI]

IEEE Intell. Informatics Bull., 2002

On forward checking for non-binary constraint satisfaction.

[BibT_eX]

[DOI]

Artif. Intell., 2002

The Adaptive Constraint Engine.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Computing Explanations and Implications in Preference-Based Configurators.

[BibT_eX]

[DOI]

Chavalit Likitvivatanavong

Manuela Moretti

Francesca Rossi

Proceedings of the Recent Advances in Constraints, 2002

Constraint Acquisition.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence, 2002

2001

Constraint-Based Modeling of InterOperability Problems Using an Object-Oriented Approach.

[BibT_eX]

Mohammed H. Sqalli

Proceedings of the Thirteenth Innovative Applications of Artificial Intelligence Conference, 2001

Generating Tradeoffs for Interactive Constraint-Based Configuration.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

Deriving Explanations and Implications for Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Chavalit Likitvivatanavong

Proceedings of the Principles and Practice of Constraint Programming, 2001

Collaborative Learning for Constraint Solving.

[BibT_eX]

[DOI]

Susan L. Epstein

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Guest Editors' Introduction: Constraints.

[BibT_eX]

[DOI]

Mark Wallace

IEEE Intell. Syst., 2000

Constraint Technology and the Commercial World (Interview).

[BibT_eX]

[DOI]

Mark Wallace

IEEE Intell. Syst., 2000

Reports on the AAAI 1999 Workshop Program.

[BibT_eX]

[DOI]

AI Mag., 2000

Dispatchability Conditions for Schedules with Consumable Resources.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

Dispatchable Execution of Schedules Involving Consumable Resources.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999

Introduction to the CP96 Issue.

[BibT_eX]

[DOI]

Constraints An Int. J., 1999

The AAAI Spring Symposia.

[BibT_eX]

[DOI]

AI Mag., 1999

Using Constraint Metaknowledge to Reduce Arc Consistency Computation.

[BibT_eX]

[DOI]

Christian Bessière

Jean-Charles Régin

Artif. Intell., 1999

A Constraint-Based Approach to Fault Management for Groupware Services.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/IFIP International Symposium on Integrated Network Management, 1999

The Goldilocks Problem.

[BibT_eX]

[DOI]

Tudor Hulubei

Proceedings of the Principles and Practice of Constraint Programming, 1999

1998

Roundtable: The Role of Configuration Knowledge in the Business Process.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 1998

Guest Editors' Introduction: Configuration.

[BibT_eX]

Boi Faltings

IEEE Intell. Syst., 1998

Constraints and Agents Confronting Ignorance.

[BibT_eX]

[DOI]

Peggy S. Eaton

AI Mag., 1998

Introduction to DIMACS workshop on Constraint Programming and Large Scale Discrete Optimization.

[BibT_eX]

[DOI]

Proceedings of the Constraint Programming and Large Scale Discrete Optimization, 1998

Stable Solutions for Dynamic Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Generating Diagnositc Tools for Network Fault Management.

[BibT_eX]

Mihaela Sabin

Robert D. Russell

Proceedings of the Integrated Network Management V, 1997

Understanding and Improving the MAC Algorithm.

[BibT_eX]

[DOI]

Daniel Sabin

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.

[BibT_eX]

[DOI]

Daniel Sabin

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

Compromise Strategies for Constraint Agents.

[BibT_eX]

Peggy S. Eaton

Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

1996

Anytime Algorithms for Constraint Satisfaction and SAT Problems.

[BibT_eX]

[DOI]

SIGART Bull., 1996

In Pursuit of the Holy Grail.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Inference-Based Constraint Satisfaction Supports Explanation.

[BibT_eX]

[DOI]

Mohammed H. Sqalli

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Automated Formulation of Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Mihaela Sabin

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Neighborhood Inverse Consistency Preprocessing.

[BibT_eX]

[DOI]

Charles D. Elfe

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.

[BibT_eX]

Peggy S. Eaton

Proceedings of the Agent Modeling, Papers from the 1996 AAAI Workshop, 1996

1995

Generalizing Inconsistency Learning for Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Extracting Constraint Satisfaction Subproblems.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Systematic Versus Stochastic Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Using Inference to Reduce Arc Consistency Computation.

[BibT_eX]

[DOI]

Christian Bessière

Jean-Charles Régin

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Heuristic Methods for Over-Constrained Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Over-Constrained Systems, 1995

A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1995

Using Metalevel Constraint Knowledge to Reduce Constraint Checking.

[BibT_eX]

[DOI]

Proceedings of the Constraint Processing, Selected Papers, 1995

The Many Paths to Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Constraint Processing, Selected Papers, 1995

1994

Contradicting Conventional Wisdom in Constraint Satisfaction.

[BibT_eX]

Daniel Sabin

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

The Complexity of Constraint Satisfaction Revisited.

[BibT_eX]

[DOI]

Alan K. Mackworth

Artif. Intell., 1993

A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction.

[BibT_eX]

Proceedings of the Principles and Practice of Constraint Programming, 1993

Exploiting Structure in Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Constraint Programming, 1993

Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Tools for Constraint Satisfaction (Panel).

[BibT_eX]

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

Tools for Constraint Satisfaction.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Cliques, 1993

Conjunctive Width Heuristics for Maximal Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

Partial Constraint Satisfaction.

[BibT_eX]

[DOI]

Artif. Intell., 1992

Interchangeability Preprocessing Can Improve Forward Checking Search.

[BibT_eX]

Brent W. Benson Jr.

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space.

[BibT_eX]

[DOI]

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Completable Representations of Constraint Satisfaction Problems.

[BibT_eX]

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

Selective relaxation for constraint satisfaction problems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

Eliminating Interchangeable Values in Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

Rule compilation from constraint-based problem solving.

[BibT_eX]

[DOI]

Suresh Subramanian

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Complexity of K-Tree Structured Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

Compiling rules from constraint satisfaction problem solving.

[BibT_eX]

[DOI]

Suresh Subramanian

SIGART Newsl., 1989

Partial Constraint Satisfaction.

[BibT_eX]

[DOI]

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

1985

A Sufficient Condition for Backtrack-Bounded Search

[BibT_eX]

[DOI]

J. ACM, October, 1985

The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Alan K. Mackworth

Artif. Intell., 1985

Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Michael J. Quinn

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1982

A Sufficient Condition for Backtrack-Free Search.

[BibT_eX]

[DOI]

J. ACM, 1982

1980

On the Knowledge Required to Label a Picture Graph.

[BibT_eX]

[DOI]

Artif. Intell., 1980

Information Needed to Label a Scene.

[BibT_eX]

[DOI]

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1978

Synthesizing Constraint Expressions.

[BibT_eX]

[DOI]

Commun. ACM, 1978

1977

A Computer System for Visual Recognition Using Active Knowledge.

[BibT_eX]

[DOI]