CP A

50 papers

YearTitle / Authors
2015A Constraint Programming Approach for Non-preemptive Evacuation Scheduling.
Caroline Even, Andreas Schutt, Pascal Van Hentenryck
2015A Constraint-Based Approach to the Differential Harvest Problem.
Nicolas Briot, Christian Bessiere, Philippe Vismara
2015A General Framework for Reordering Agents Asynchronously in Distributed CSP.
Mohamed Wahbi, Younes Mechqrane, Christian Bessiere, Kenneth N. Brown
2015A Global Constraint for a Tractable Class of Temporal Optimization Problems.
Alban Derrien, Jean-Guillaume Fages, Thierry Petit, Charles Prud'homme
2015A Microstructure-Based Family of Tractable Classes for CSPs.
Martin C. Cooper, Philippe Jégou, Cyril Terrioux
2015A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs.
Ciaran McCreesh, Patrick Prosser
2015Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP.
David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki
2015Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation.
Jean-Noël Monette, Pierre Flener, Justin Pearson
2015Automatically Generating Streamlined Constraint Models with Essence and Conjure.
James Wetter, Özgür Akgün, Ian Miguel
2015Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.
Peter Nightingale, Patrick Spracklen, Ian Miguel
2015Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs.
Frédéric Simard, Michael Morin, Claude-Guy Quimper, François Laviolette, Josée Desharnais
2015Broken Triangles Revisited.
Martin C. Cooper, Aymeric Duchein, Guillaume Escamocher
2015Conflict Ordering Search for Scheduling Problems.
Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus
2015Constrained Minimum Sum of Squares Clustering by Constraint Programming.
Thi-Bich-Hanh Dao, Khanh-Chuong Duong, Christel Vrain
2015Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks.
Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan
2015Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists.
Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser
2015Design and Evaluation of a Constraint-Based Energy Saving and Scheduling Recommender System.
Seán Óg Murphy, Oscar Manzano, Kenneth N. Brown
2015Deterministic Estimation of the Expected Makespan of a POS Under Duration Uncertainty.
Michele Lombardi, Alessio Bonfietti, Michela Milano
2015Encoding Linear Constraints with Implication Chains to CNF.
Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
2015Erratum to: Modeling Universal Instruction Selection.
Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte
2015Exact Sampling for Regular and Markov Constraints with Belief Propagation.
Alexandre Papadopoulos, François Pachet, Pierre Roy, Jason Sakellariou
2015Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming.
Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son
2015Find Your Way Back: Mobility Profile Mining with Constraints.
Lars Kotthoff, Mirco Nanni, Riccardo Guidotti, Barry O'Sullivan
2015General Bounding Mechanism for Constraint Programs.
Minh Hoàng Hà, Claude-Guy Quimper, Louis-Martin Rousseau
2015Generalized Totalizer Encoding for Pseudo-Boolean Constraints.
Saurabh Joshi, Ruben Martins, Vasco Manquinho
2015Hybridization of Interval CP and Evolutionary Algorithms for Optimizing Difficult Problems.
Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand, Jean-Marc Alliot
2015Improved Constraint Propagation via Lagrangian Decomposition.
David Bergman, André Augusto Ciré, Willem-Jan van Hoeve
2015Joint Vehicle and Crew Routing and Scheduling.
Edward Lam, Pascal Van Hentenryck, Philip Kilby
2015Machine Learning of Bayesian Networks Using Constraint Programming.
Peter van Beek, Hella-Franziska Hoffmann
2015MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc.
Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack
2015Modeling Universal Instruction Selection.
Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte
2015Modeling and Solving Project Scheduling with Calendars.
Stefan Kreter, Andreas Schutt, Peter J. Stuckey
2015On Tree-Preserving Constraints.
Shufeng Kong, Sanjiang Li, Yongming Li, Zhiguo Long
2015Open Packing for Facade-Layout Synthesis Under a General Purpose Solver.
Andrés Felipe Barco, Jean-Guillaume Fages, Élise Vareilles, Michel Aldanondo, Paul Gaborit
2015Optimizing the Cloud Service Experience Using Constraint Programming.
Serdar Kadioglu, Mike Colena, Steven Huberman, Claire Bagley
2015PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining.
Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois
2015Power Capping in High Performance Computing Systems.
Andrea Borghesi, Francesca Collina, Michele Lombardi, Michela Milano, Luca Benini
2015Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings
Gilles Pesant
2015Quasipolynomial Simulation of DNNF by a Non-determinstic Read-Once Branching Program.
Igor Razgon
2015Randomness as a Constraint.
Steven D. Prestwich, Roberto Rossi, S. Armagan Tarim
2015Restricted Path Consistency Revisited.
Kostas Stergiou
2015Scheduling Running Modes of Satellite Instruments Using Constraint-Based Local Search.
Cédric Pralet, Solange Lemai-Chenevier, Jean Jaubert
2015Simple and Scalable Time-Table Filtering for the Cumulative Constraint.
Steven Gay, Renaud Hartert, Pierre Schaus
2015Smaller Selection Networks for Cardinality Constraints Encoding.
Michal Karpinski, Marek Piotrów
2015Smallest MUS Extraction with Minimal Hitting Set Dualization.
Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva
2015Solving Segment Routing Problems with Hybrid Constraint Programming Techniques.
Renaud Hartert, Pierre Schaus, Stefano Vissicchio, Olivier Bonaventure
2015Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization.
Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck
2015The Unary Resource with Transition Times.
Cyrille Dejemeppe, Sascha Van Cauwelaert, Pierre Schaus
2015Two Clause Learning Approaches for Disjunctive Scheduling.
Mohamed Siala, Christian Artigues, Emmanuel Hebrard
2015Upper and Lower Bounds on the Time Complexity of Infinite-Domain CSPs.
Peter Jonsson, Victor Lagerkvist