Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|