International Conference on Principles and Practice of Constraint Programming

CORE rank

CORE rank (raw)

Fields of research

Artificial Intelligence

Papers indexed

1,990

1995–2026

Best Artificial Intelligence conferences

Papers per year

1995126 peak2026

Most published authors

CP papers

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

Year	Title	Authors
2016	On Incremental Core-Guided MaxSAT Solving.	Xujie Si, Xin Zhang, Vasco Manquinho, Mikols Janota, Alexey Ignatiev, Mayur Naik
2016	Learning from Learning Solvers.	Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
2016	Availability Optimization in Cloud-Based In-Memory Data Grids.	Samir Sebbah, Claire Bagley, Mike Colena, Serdar Kadioglu
2016	Explaining Producer/Consumer Constraints.	Andreas Schutt, Peter J. Stuckey
2016	Enforcing Structure on Temporal Sequences: The Allen Constraint.	Pierre Roy, Guillaume Perez, Jean-Charles Rgin, Alexandre Papadopoulos, Franois Pachet, Marco Marchini
2016	Learning Parameters for the Sequence Constraint from Solutions.	milie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney
2016	Assisted Lead Sheet Composition Using FlowComposer.	Alexandre Papadopoulos, Pierre Roy, Franois Pachet
2016	Parallel Strategies Selection.	Anthony Palmieri, Jean-Charles Rgin, Pierre Schaus
2016	Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning.	Harsha Nagarajan, Mowen Lu, Emre Yamangil, Russell Bent
2016	Morphing Between Stable Matching Problems.	Ciaran McCreesh, Patrick Prosser, James Trimble
2016	Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems.	Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon
2016	Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.	Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang
2016	Using Constraint Programming for the Urban Transit Crew Rescheduling Problem.	Xavier Lorca, Charles Prud'homme, Aurlien Questel, Benot Rottembourg
2016	Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control.	BoonPing Lim, Hassan L. Hijazi, Sylvie Thibaux, Menkes van den Briel
2016	A Global Constraint for Closed Frequent Pattern Mining.	Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemire, Christian Bessiere, Patrice Boizumault
2016	Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems.	Wen-Yang Ku, J. Christopher Beck
2016	Constraining Redundancy to Improve Protein Docking.	Ludwig Krippahl, Pedro Barahona
2016	Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size.	Philippe Jgou, Hanan Kanso, Cyril Terrioux
2016	On Finding Minimum Satisfying Assignments.	Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva
2016	A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks.	Luke Hunsberger, Roberto Posenato
2016	Finding Alternative Musical Scales.	John N. Hooker
2016	The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors.	Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin A. Moser, Dominik Scheder, May Szedlk
2016	Four-Bar Linkage Synthesis Using Non-convex Optimization.	Vincent Goulet, Wei Li, Hyunmin Cheong, Francesco Iorio, Claude-Guy Quimper
2016	Monte-Carlo Tree Search for the Maximum Satisfiability Problem.	Jack Goffinet, Raghuram Ramanujan
2016	Solving a Supply-Delivery Scheduling Problem with Constraint Programming.	Katherine Giles, Willem-Jan van Hoeve

501–525 of 1,990← Previous Next →

Comparable venues

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