Search results for "CP"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex	Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure.	CP	2016	DBLP DOI BibTeX RDF
1	Ludwig Krippahl, Pedro Barahona	Constraining Redundancy to Improve Protein Docking.	CP	2016	DBLP DOI BibTeX RDF
1	David Bergman, André Augusto Ciré	Multiobjective Optimization by Decision Diagrams.	CP	2016	DBLP DOI BibTeX RDF
1	Stefano Di Alesio	Optimal Performance Tuning in Real-Time Systems Using Multi-objective Constrained Optimization.	CP	2016	DBLP DOI BibTeX RDF
1	Michel Rueher (eds.)	Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings	CP	2016	DBLP DOI BibTeX RDF
1	Steven Gay, Renaud Hartert, Pierre Schaus	Simple and Scalable Time-Table Filtering for the Cumulative Constraint.	CP	2015	DBLP DOI BibTeX RDF
1	Lars Kotthoff, Mirco Nanni, Riccardo Guidotti, Barry O'Sullivan	Find Your Way Back: Mobility Profile Mining with Constraints.	CP	2015	DBLP DOI BibTeX RDF
1	Edward Lam 0001, Pascal Van Hentenryck, Philip Kilby	Joint Vehicle and Crew Routing and Scheduling.	CP	2015	DBLP DOI BibTeX RDF
1	Seán Óg Murphy, Oscar Manzano, Kenneth N. Brown	Design and Evaluation of a Constraint-Based Energy Saving and Scheduling Recommender System.	CP	2015	DBLP DOI BibTeX RDF
1	Mohamed Siala 0002, Christian Artigues, Emmanuel Hebrard	Two Clause Learning Approaches for Disjunctive Scheduling.	CP	2015	DBLP DOI BibTeX RDF
1	David Bergman, André Augusto Ciré, Willem-Jan van Hoeve	Improved Constraint Propagation via Lagrangian Decomposition.	CP	2015	DBLP DOI BibTeX RDF
1	David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki	Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP.	CP	2015	DBLP DOI BibTeX RDF
1	Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck	Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization.	CP	2015	DBLP DOI BibTeX RDF
1	Alejandro Arbelaez, Deepak Mehta 0001, Barry O'Sullivan	Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks.	CP	2015	DBLP DOI BibTeX RDF
1	Renaud Hartert, Pierre Schaus, Stefano Vissicchio, Olivier Bonaventure	Solving Segment Routing Problems with Hybrid Constraint Programming Techniques.	CP	2015	DBLP DOI BibTeX RDF
1	Caroline Even, Andreas Schutt, Pascal Van Hentenryck	A Constraint Programming Approach for Non-preemptive Evacuation Scheduling.	CP	2015	DBLP DOI BibTeX RDF
1	Kostas Stergiou 0001	Restricted Path Consistency Revisited.	CP	2015	DBLP DOI BibTeX RDF
1	Stefan Kreter, Andreas Schutt, Peter J. Stuckey	Modeling and Solving Project Scheduling with Calendars.	CP	2015	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Philippe Jégou, Cyril Terrioux	A Microstructure-Based Family of Tractable Classes for CSPs.	CP	2015	DBLP DOI BibTeX RDF
1	James Wetter, Özgür Akgün, Ian Miguel	Automatically Generating Streamlined Constraint Models with Essence and Conjure.	CP	2015	DBLP DOI BibTeX RDF
1	Cédric Pralet, Solange Lemai-Chenevier, Jean Jaubert	Scheduling Running Modes of Satellite Instruments Using Constraint-Based Local Search.	CP	2015	DBLP DOI BibTeX RDF
1	Alban Derrien, Jean-Guillaume Fages, Thierry Petit, Charles Prud'homme	A Global Constraint for a Tractable Class of Temporal Optimization Problems.	CP	2015	DBLP DOI BibTeX RDF
1	Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte 0001	Modeling Universal Instruction Selection.	CP	2015	DBLP DOI BibTeX RDF
1	Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois	PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining.	CP	2015	DBLP DOI BibTeX RDF
1	Shufeng Kong, Sanjiang Li, Yongming Li 0001, Zhiguo Long	On Tree-Preserving Constraints.	CP	2015	DBLP DOI BibTeX RDF
1	Nicolas Briot, Christian Bessiere, Philippe Vismara	A Constraint-Based Approach to the Differential Harvest Problem.	CP	2015	DBLP DOI BibTeX RDF
1	Michal Karpinski, Marek Piotrów	Smaller Selection Networks for Cardinality Constraints Encoding.	CP	2015	DBLP DOI BibTeX RDF
1	Frédéric Simard, Michael Morin, Claude-Guy Quimper, François Laviolette, Josée Desharnais	Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs.	CP	2015	DBLP DOI BibTeX RDF
1	Minh Hoàng Hà, Claude-Guy Quimper, Louis-Martin Rousseau	General Bounding Mechanism for Constraint Programs.	CP	2015	DBLP DOI BibTeX RDF
1	Igor Razgon	Quasipolynomial Simulation of DNNF by a Non-determinstic Read-Once Branching Program.	CP	2015	DBLP DOI BibTeX RDF
1	Andrés Felipe Barco, Jean-Guillaume Fages, Élise Vareilles, Michel Aldanondo, Paul Gaborit	Open Packing for Facade-Layout Synthesis Under a General Purpose Solver.	CP	2015	DBLP DOI BibTeX RDF
1	Jean-Noël Monette, Pierre Flener, Justin Pearson	Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation.	CP	2015	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Aymeric Duchein, Guillaume Escamocher	Broken Triangles Revisited.	CP	2015	DBLP DOI BibTeX RDF
1	Ciaran McCreesh, Patrick Prosser	A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs.	CP	2015	DBLP DOI BibTeX RDF
1	Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack	MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc.	CP	2015	DBLP DOI BibTeX RDF
1	Thi-Bich-Hanh Dao, Khanh-Chuong Duong, Christel Vrain	Constrained Minimum Sum of Squares Clustering by Constraint Programming.	CP	2015	DBLP DOI BibTeX RDF
1	Gilles Pesant (eds.)	Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings	CP	2015	DBLP DOI BibTeX RDF
1	Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte 0001	Erratum to: Modeling Universal Instruction Selection.	CP	2015	DBLP DOI BibTeX RDF
1	Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand 0002, Jean-Marc Alliot	Hybridization of Interval CP and Evolutionary Algorithms for Optimizing Difficult Problems.	CP	2015	DBLP DOI BibTeX RDF
1	Saurabh Joshi 0001, Ruben Martins, Vasco M. Manquinho	Generalized Totalizer Encoding for Pseudo-Boolean Constraints.	CP	2015	DBLP DOI BibTeX RDF
1	Steven D. Prestwich, Roberto Rossi 0002, S. Armagan Tarim	Randomness as a Constraint.	CP	2015	DBLP DOI BibTeX RDF
1	Peter Jonsson, Victor Lagerkvist	Upper and Lower Bounds on the Time Complexity of Infinite-Domain CSPs.	CP	2015	DBLP DOI BibTeX RDF
1	Craig Macdonald, Ciaran McCreesh, Alice Miller 0001, Patrick Prosser	Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists.	CP	2015	DBLP DOI BibTeX RDF
1	Peter Nightingale, Patrick Spracklen, Ian Miguel	Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.	CP	2015	DBLP DOI BibTeX RDF
1	Andrea Borghesi, Francesca Collina, Michele Lombardi 0001, Michela Milano, Luca Benini	Power Capping in High Performance Computing Systems.	CP	2015	DBLP DOI BibTeX RDF
1	Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey	Encoding Linear Constraints with Implication Chains to CNF.	CP	2015	DBLP DOI BibTeX RDF
1	Michele Lombardi 0001, Alessio Bonfietti, Michela Milano	Deterministic Estimation of the Expected Makespan of a POS Under Duration Uncertainty.	CP	2015	DBLP DOI BibTeX RDF
1	Peter van Beek, Hella-Franziska Hoffmann	Machine Learning of Bayesian Networks Using Constraint Programming.	CP	2015	DBLP DOI BibTeX RDF
1	Serdar Kadioglu, Mike Colena, Steven Huberman, Claire Bagley	Optimizing the Cloud Service Experience Using Constraint Programming.	CP	2015	DBLP DOI BibTeX RDF
1	Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva 0001	Smallest MUS Extraction with Minimal Hitting Set Dualization.	CP	2015	DBLP DOI BibTeX RDF
1	Cyrille Dejemeppe, Sascha Van Cauwelaert, Pierre Schaus	The Unary Resource with Transition Times.	CP	2015	DBLP DOI BibTeX RDF
1	Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh 0001, Tran Cao Son	Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming.	CP	2015	DBLP DOI BibTeX RDF
1	Mohamed Wahbi, Younes Mechqrane, Christian Bessiere, Kenneth N. Brown	A General Framework for Reordering Agents Asynchronously in Distributed CSP.	CP	2015	DBLP DOI BibTeX RDF
1	Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus	Conflict Ordering Search for Scheduling Problems.	CP	2015	DBLP DOI BibTeX RDF
1	Alexandre Papadopoulos, François Pachet, Pierre Roy, Jason Sakellariou	Exact Sampling for Regular and Markov Constraints with Belief Propagation.	CP	2015	DBLP DOI BibTeX RDF
1	Patrick Prosser	Teaching Constraint Programming.	CP	2014	DBLP DOI BibTeX RDF
1	Thi-Van-Anh Nguyen, Arnaud Lallouet	A Complete Solver for Constraint Games.	CP	2014	DBLP DOI BibTeX RDF
1	Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck	Constraint-Based Lagrangian Relaxation.	CP	2014	DBLP DOI BibTeX RDF
1	Stefano Di Alesio, Shiva Nejati, Lionel C. Briand, Arnaud Gotlieb	Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing.	CP	2014	DBLP DOI BibTeX RDF
1	Wen-Yang Ku, Thiago Pinheiro, J. Christopher Beck	CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem.	CP	2014	DBLP DOI BibTeX RDF
1	Mirko Stojadinovic	Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems.	CP	2014	DBLP DOI BibTeX RDF
1	Mohamed Wahbi, Kenneth N. Brown	Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT.	CP	2014	DBLP DOI BibTeX RDF
1	André Abramé, Djamal Habet	Efficient Application of Max-SAT Resolution on Inconsistent Subsets.	CP	2014	DBLP DOI BibTeX RDF
1	Alban Derrien, Thierry Petit	A New Characterization of Relevant Intervals for Energetic Reasoning.	CP	2014	DBLP DOI BibTeX RDF
1	Florian Lonsing, Uwe Egly	Incremental QBF Solving.	CP	2014	DBLP DOI BibTeX RDF
1	Jimmy H. M. Lee, Zichen Zhu	An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search.	CP	2014	DBLP DOI BibTeX RDF
1	Andrea Rendl, Guido Tack, Peter J. Stuckey	Stochastic MiniZinc.	CP	2014	DBLP DOI BibTeX RDF
1	Emma Rollon, Javier Larrosa	Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization.	CP	2014	DBLP DOI BibTeX RDF
1	Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard	On Backdoors to Tractable Constraint Languages.	CP	2014	DBLP DOI BibTeX RDF
1	Umberto Grandi, Hang Luo 0001, Nicolas Maudet, Francesca Rossi 0001	Aggregating CP-nets with Unfeasible Outcomes.	CP	2014	DBLP DOI BibTeX RDF
1	Mohamed Wahbi, Kenneth N. Brown	The Impact of Wireless Communication on Distributed Constraint Satisfaction.	CP	2014	DBLP DOI BibTeX RDF
1	Lars Otten, Rina Dechter	Anytime AND/OR Depth-First Search for Combinatorial Optimization - (Extended Abstract).	CP	2014	DBLP DOI BibTeX RDF
1	Ronald de Haan, Iyad A. Kanj, Stefan Szeider	Subexponential Time Complexity of CSP with Global Constraints.	CP	2014	DBLP DOI BibTeX RDF
1	Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret	Scheduling B2B Meetings.	CP	2014	DBLP DOI BibTeX RDF
1	Martin C. Cooper	Beyond Consistency and Substitutability.	CP	2014	DBLP DOI BibTeX RDF
1	Robert J. Woodward, Anthony Schneider, Berthe Y. Choueiry, Christian Bessiere	Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports.	CP	2014	DBLP DOI BibTeX RDF
1	Andrea Bartolini, Andrea Borghesi, Thomas Bridi, Michele Lombardi 0001, Michela Milano	Proactive Workload Dispatching on the EURORA Supercomputer.	CP	2014	DBLP DOI BibTeX RDF
1	Christoph Berkholz	The Propagation Depth of Local Consistency.	CP	2014	DBLP DOI BibTeX RDF
1	Simon de Givry, Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum	Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions.	CP	2014	DBLP DOI BibTeX RDF
1	Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret	Solving Intensional Weighted CSPs by Incremental Optimization with BDDs.	CP	2014	DBLP DOI BibTeX RDF
1	Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber	Robustness and Stability in Constraint Programming under Dynamism and Uncertainty - (Extended Abstract).	CP	2014	DBLP DOI BibTeX RDF
1	Steven Gay, Pierre Schaus, Vivian De Smedt	Continuous Casting Scheduling with Constraint Programming.	CP	2014	DBLP DOI BibTeX RDF
1	Ashish Sabharwal, Horst Samulowitz	Insights into Parallelism with Intensive Knowledge Sharing.	CP	2014	DBLP DOI BibTeX RDF
1	Barry O'Sullivan (eds.)	Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings	CP	2014	DBLP DOI BibTeX RDF
1	David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker	Optimization Bounds from Binary Decision Diagrams - (Extended Abstract).	CP	2014	DBLP DOI BibTeX RDF
1	Gilles Audemard, Christophe Lecoutre, Mouny Samy Modeliar, Gilles Goncalves, Daniel Cosmin Porumbel	Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem.	CP	2014	DBLP DOI BibTeX RDF
1	Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Glenna F. Nightingale, Peter Nightingale	Discriminating Instance Generation for Automated Constraint Model Selection.	CP	2014	DBLP DOI BibTeX RDF
1	Alban Derrien, Thierry Petit, Stéphane Zampelli	A Declarative Paradigm for Robust Cumulative Scheduling.	CP	2014	DBLP DOI BibTeX RDF
1	Ferdinando Fioretto, Tiep Le, William Yeoh 0001, Enrico Pontelli, Tran Cao Son	Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems.	CP	2014	DBLP DOI BibTeX RDF
1	Ignasi Abío, Peter J. Stuckey	Encoding Linear Constraints into SAT.	CP	2014	DBLP DOI BibTeX RDF
1	António Morgado 0001, Carmine Dodaro, João Marques-Silva 0001	Core-Guided MaxSAT with Soft Cardinality Constraints.	CP	2014	DBLP DOI BibTeX RDF
1	Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel	Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination.	CP	2014	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Laurent D. Michel	Domain Views for Constraint Programming.	CP	2014	DBLP DOI BibTeX RDF
1	Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura	Scalable Parallel Numerical CSP Solver.	CP	2014	DBLP DOI BibTeX RDF
1	Vinasétan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey, Yves Deville	The StockingCost Constraint.	CP	2014	DBLP DOI BibTeX RDF
1	Vijay A. Saraswat	Concurrent Constraint Programming Research Programmes - Redux.	CP	2014	DBLP DOI BibTeX RDF
1	Jasper C. H. Lee, Jimmy H. M. Lee	Towards Practical Infinite Stream Constraint Programming: Applications and Implementation.	CP	2014	DBLP DOI BibTeX RDF
1	Louis-Martin Rousseau	One Problem, Two Structures, Six Solvers, and Ten Years of Personnel Scheduling.	CP	2014	DBLP DOI BibTeX RDF
1	Ciaran McCreesh, Patrick Prosser	Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem.	CP	2014	DBLP DOI BibTeX RDF
1	Ronan Le Bras 0001, Carla P. Gomes, Bart Selman	On the Erdős Discrepancy Problem.	CP	2014	DBLP DOI BibTeX RDF

Publications at "CP"( http://dblp.L3S.de/Venues/CP )