Skip to content

International Conference on Principles and Practice of Constraint Programming

CP

A

CORE rank

CORE rank (raw)

A

Fields of research

Artificial Intelligence

Papers indexed

1,990

1995–2026

Papers per year

1995126 peak2026

CP papers

1,990 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1995On Termination of Constraint Logic Programs.Livio Colussi, Elena Marchiori, Massimo Marchiori
1995A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.Christian Codognet, Philippe Codognet
1995Guarded Constructive Disjunction: Angel or Demon?Christian Codognet, Philippe Codognet
1995What Is Symbolic Computation?Bruno Buchberger
1995Solving Over-Constrained CSPs Using Weighted OBDDs.Fabrice Bouquet, Philippe Jgou
1995Constraint Hierarchies.Alan Borning, Bjrn N. Freeman-Benson, Molly Wilson
1995The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces.Alan Borning, Bjrn N. Freeman-Benson
1995A CLP Approach for Examination Planning.Patrice Boizumault, Yan Delon, Laurent Pridy
1995Automatic Generation of Invariants and Assertions.Nikolaj S. Bjrner, Anca Browne, Zohar Manna
1995Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.Stefano Bistarelli, Hlne Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Grard Verfaillie
1995Using Bidirectionality to Speed up Arc-Constistency Processing.Christian Bessire, Jean-Charles Rgin
1995Dynamic Variable Ordering in CSPs.Fahiem Bacchus, Paul van Run
1995On the Forward Checking Algorithm.Fahiem Bacchus, Adam J. Grove
1995On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers.Franz Baader, Klaus U. Schulz
1995Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables.Farid Ajili, Evelyne Contejean
1,9761,990 of 1,990← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.