Toby Walsh

Maria J. García de la Banda

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

The G12 Project: Mapping Solver Independent Models to Efficient Solutions.

[BibT_eX]

[DOI]

Peter J. Stuckey

Proceedings of the Logic Programming, 21st International Conference, 2005

The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables.

[BibT_eX]

[DOI]

Claude-Guy Quimper

Proceedings of the Recent Advances in Constraints, 2005

Among, Common and Disjoint Constraints.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2005

Filtering Algorithms for the NValue Constraint.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Beyond Finite Domains: The All Different and Global Cardinality Constraints.

[BibT_eX]

[DOI]

Claude-Guy Quimper

Proceedings of the Principles and Practice of Constraint Programming, 2005

Improved Algorithm for Finding (a, b)-Super Solutions.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

Computing Super-Schedules.

[BibT_eX]

[DOI]

Paul Tyler

Proceedings of the Principles and Practice of Constraint Programming, 2005

Constraint-Based Preferential Optimization.

[BibT_eX]

[DOI]

Steve Prestwich

Francesca Rossi

Kristen Brent Venable

Proceedings of the Proceedings, 2005

Backbones and Backdoors in Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

Finding Diverse and Similar Solutions in Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Dual Modelling of Permutation and Injection Problems.

[BibT_eX]

[DOI]

Barbara M. Smith

J. Artif. Intell. Res., 2004

Hybrid Modelling for Robust Solving.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2004

Principles of Constraint Programming and Constraint Processing: A Review.

[BibT_eX]

[DOI]

Peter van Beek

AI Mag., 2004

Solving Non-clausal Formulas with DPLL search.

[BibT_eX]

[DOI]

Christian Thiffault

Fahiem Bacchus

Proceedings of the SAT 2004, 2004

Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums.

[BibT_eX]

[DOI]

Zeynep Kiziltan

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004

Robust Solutions for Constraint Satisfaction and Optimization.

[BibT_eX]

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

Super Solutions in Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

The Tractability of Global Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

Disjoint, Partition and Intersection Constraints for Set and Multiset Variables.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

mCP Nets: Representing and Reasoning with Preferences of Multiple Agents.

[BibT_eX]

[DOI]

Francesca Rossi

Kristen Brent Venable

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

The Complexity of Global Constraints.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Local Consistencies in SAT.

[BibT_eX]

[DOI]

Christian Bessière

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Scenario-based Stochastic Constraint Programming.

[BibT_eX]

[DOI]

Suresh Manandhar

Armagan Tarim

Proceedings of the IJCAI-03, 2003

Multiset Ordering Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.

[BibT_eX]

[DOI]

Carmel Domshlak

Francesca Rossi

Kristen Brent Venable

Proceedings of the IJCAI-03, 2003

Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Constraint Patterns.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

AAAI 2002 Workshops.

[BibT_eX]

[DOI]

AI Mag., 2002

AAAI 2002 Fall Symposium Series Reports.

[BibT_eX]

[DOI]

AI Mag., 2002

Binary vs. non-binary constraints.

[BibT_eX]

[DOI]

Artif. Intell., 2002

A Fixpoint Based Encoding for Bounded Model Checking.

[BibT_eX]

[DOI]

Daniel Sheridan

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

Stochastic Constraint Programming.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Models of Injection Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Global Constraints for Lexicographic Orderings.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Breaking Row and Column Symmetries in Matrix Models.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Automatic Generation of Implied Clauses for SAT.

[BibT_eX]

[DOI]

Lyndon Drake

Proceedings of the Principles and Practice of Constraint Programming, 2002

CGRASS: A System for Transforming Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Ian Miguel

Proceedings of the Recent Advances in Constraints, 2002

The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Random Constraint Satisfaction: Flaws and Structure.

[BibT_eX]

[DOI]

Constraints An Int. J., 2001

Symposium on Abstraction, Reformulation, and Approximation (SARA-2000).

[BibT_eX]

[DOI]

Berthe Y. Choueiry

AI Mag., 2001

Permutation Problems and Channelling Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

Search on High Degree Graphs.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Backbones in Optimization and Approximation.

[BibT_eX]

John K. Slaney

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Satisfiability in the Year 2000.

[BibT_eX]

[DOI]

J. Autom. Reason., 2000

On the notion of interestingness in automated mathematical discovery.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2000

Decomposable constraints.

[BibT_eX]

[DOI]

Artif. Intell., 2000

Reformulating Propositional Satisfiability as Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2000

Automatic Identification of Mathematical Concepts.

[BibT_eX]

Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000

SAT v CSP.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

Singleton Consistencies.

[BibT_eX]

[DOI]

Patrick Prosser

Proceedings of the Principles and Practice of Constraint Programming, 2000

Automatic Generation of Implied Constraints: Project Description.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems.

[BibT_eX]

[DOI]

Barbara M. Smith

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

Automatic Invention of Integer Sequences.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Paul R. Cohen's Empirical Methods for Artificial Intelligence.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Search in a Small World.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

The Difference All-Difference Makes.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Automatic Concept Formation in Pure Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

CSP<sub>LIB</sub>: A Benchmark Library for Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1999

Encodings of Non-Binary Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Beyond NP: the QSAT phase transition.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Morphing: Combining Structure and Randomness.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study.

[BibT_eX]

[DOI]

Jeremy Frank

Inf. Process. Lett., 1998

Analysis of Heuristics for Number Partitioning.

[BibT_eX]

[DOI]

Comput. Intell., 1998

Empirical Methods in AI.

[BibT_eX]

[DOI]

AI Mag., 1998

Interleaved and Discrepancy Based Search.

[BibT_eX]

Pedro Meseguer

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Random Constraint Satisfaction: Theory Meets Practice.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1998

The Constrainedness Knife-Edge.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

Theories of Abstraction.

[BibT_eX]

[DOI]

Fausto Giunchiglia

Adolfo Villafiorita

AI Commun., 1997

Depth-bounded Discrepancy Search.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

The Constrainedness of Arc Consistency.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

The Scaling of Search Cost.

[BibT_eX]

[DOI]

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

1996

A Calculus for and Termination of Rippling.

[BibT_eX]

[DOI]

David A. Basin

J. Autom. Reason., 1996

A Divergence Critic for Inductive Proof.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1996

The Satisfiability Constraint Gap.

[BibT_eX]

[DOI]

Artif. Intell., 1996

The TSP Phase Transition.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Calculating Criticalities.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Phase Transitions and Annealed Theories: Number Partitioning as a Case Study.

[BibT_eX]