Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Xi Yun, Susan L. Epstein |
A Hybrid Paradigm for Adaptive Parallel Search. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva 0001 |
On Computing Minimal Equivalent Subformulas. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte 0001 |
Constraint-Based Register Allocation and Instruction Scheduling. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Patricia Gutierrez, Pedro Meseguer |
Including Soft Global Constraints in DCOPs. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Salvagnin, Toby Walsh |
A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Weiming Liu 0001, Sanjiang Li |
Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Petit |
Focus : A Constraint for Concentrating High Costs. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zhu Zhu, Chu Min Li, Felip Manyà, Josep Argelich |
A New Encoding from MinSAT into MaxSAT. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Castiñeiras, Milan De Cauwer, Barry O'Sullivan |
Weibull-Based Benchmarks for Bin Packing. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hanyu Gu, Peter J. Stuckey, Mark G. Wallace 0001 |
Maximising the Net Present Value of Large Resource-Constrained Projects. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Ontañón, Pedro Meseguer |
Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann |
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet, Gérard Verfaillie |
Time-Dependent Simple Temporal Networks. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Helmut Simonis |
A Model Seeker: Extracting Global Constraint Models from Positive Examples. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä |
Classifying and Propagating Parity Constraints. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Siala 0002, Emmanuel Hebrard, Marie-José Huguet |
An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Cambazard, Bernard Penz |
A Constraint Programming Approach for the Traveling Purchaser Problem. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Gualandi, Federico Malucelli |
Resource Constrained Shortest Paths with a Super Additive Objective Function. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivný |
Relating Proof Complexity Measures and Practical Hardness of SAT. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Granvilliers |
Adaptive Bisection of Numerical CSPs. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miguel F. Anjos |
Optimization Challenges in Smart Grid Operations. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Fagerberg, Christoph Flamm, Daniel Merkle, Philipp Peters |
Exploring Chemistry Using SMT. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Lang, Jérôme Mengin, Lirong Xia |
Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Mehta 0001, Barry O'Sullivan, Helmut Simonis |
Comparing Solution Methods for the Machine Reassignment Problem. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman |
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | João Guerra, Inês Lynce |
Reasoning over Biological Networks Using Maximum Satisfiability. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Distler, Christopher Jefferson, Tom Kelsey, Lars Kotthoff |
The Semigroups of Order 10. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
Interactive Algorithm for Multi-Objective Constraint Optimization. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap |
Space-Time Tradeoffs for the Regular Constraint. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary |
Propagating Soft Table Constraints. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
Solving Temporal Problems Using SMT: Strong Controllability. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Siert Wieringa |
Understanding, Improving and Parallelizing MUS Finding Using Model Rotation. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani |
WCSP Integration of Soft Neighborhood Substitutability. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis |
Properties of Energy-Price Forecasts for Scheduling. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kathryn Francis, Sebastian Brand, Peter J. Stuckey |
Optimisation Modelling for Software Developers. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Saïd Belaid, Claude Michel, Michel Rueher |
Boosting Local Consistency Algorithms over Floating-Point Numbers. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Armant, Laurent Simon, Philippe Dague |
Distributed Tree Decomposition with Privacy. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Noël Monette, Pierre Flener, Justin Pearson |
Towards Solver-Independent Propagators. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Schaus, Jean-Charles Régin, Rowan Van Schaeren, Wout Dullaert, Birger Raa |
Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ignasi Abío, Peter J. Stuckey |
Conflict Directed Lazy Decomposition. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Simonin, Christian Artigues, Emmanuel Hebrard, Pierre Lopez |
Scheduling Scientific Experiments on the Rosetta/Philae Mission. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
Parallel SAT Solver Selection and Scheduling. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Vismara, Remi Coletta |
Breaking Variable Symmetry in Almost Injective Problems. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | George Katsirelos, Nina Narodytska, Toby Walsh |
The SeqBin Constraint Revisited. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville |
An Optimal Filtering Algorithm for Table Constraints. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Peter J. Stuckey |
Inter-instance Nogood Learning in Constraint Programming. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent D. Michel, Pascal Van Hentenryck |
Constraint Satisfaction over Bit-Vectors. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Peter J. Stuckey |
A Generic Method for Identifying and Exploiting Dominance Relations. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent D. Michel |
Constraint Programming and a Usability Quest. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
Revisiting Neighborhood Inverse Consistency on Binary CSPs. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak |
Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Wrona |
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Florent R. Madelaine, Barnaby Martin |
Containment, Equivalence and Coreness from CSP to QCSP and Beyond. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Bonfietti, Michele Lombardi 0001 |
The Weighted Average Constraint. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson |
A Scalable Sweep Algorithm for the cumulative Constraint. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michela Milano (eds.) |
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | George Katsirelos, Laurent Simon |
Eigenvector Centrality in Industrial SAT Instances. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alon Grubshtein, Amnon Meisels |
Finding a Nash Equilibrium by Asynchronous Backtracking. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Allen Van Gelder |
Contributions to the Theory of Practical Quantified Boolean Formula Solving. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emma Rollon, Javier Larrosa |
Improved Bounded Max-Sum for Distributed Constraint Optimization. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Serra, Gilberto Nishioka, Fernando J. M. Marcellino |
The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Ponsini, Claude Michel, Michel Rueher |
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Germain, Sébastien Giguère, Jean-Francis Roy, Brice Zirakiza, François Laviolette, Claude-Guy Quimper |
A Pseudo-Boolean Set Covering Machine. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Allen Van Gelder |
Variable Independence and Resolution Paths for Quantified Boolean Formulas. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Siddhartha Jain 0001, Pascal Van Hentenryck |
Large Neighborhood Search for Dial-a-Ride Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bartolini, Michele Lombardi 0001, Michela Milano, Luca Benini |
Neuron Constraints to Model Complex Real-World Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Samba Ndojh Ndiaye, Christine Solnon |
CP Models for Maximum Common Subgraph Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Régin |
Solving Problems with CP: Four Common Pitfalls to Avoid. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emma Rollon, Javier Larrosa |
On Mini-Buckets and the Min-fill Elimination Ordering. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar 0001, Michael J. Maher |
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jimmy Ho-Man Lee (eds.) |
Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Jefferson, Karen E. Petrie |
Automatic Generation of Constraints for Partial Symmetry Breaking. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David A. Cohen, Martin C. Cooper, Martin James Green, Dániel Marx |
On Guaranteeing Polynomially Bounded Search Tree Size. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura |
Orchestrating Satisfiability Engines. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michel P. Lefebvre, Jean-François Puget, Petr Vilím |
Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Helmut Simonis |
A Constraint Seeker: Finding and Ranking Global Constraints from Examples. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Bonfietti, Michele Lombardi 0001, Luca Benini, Michela Milano |
A Constraint Based Approach to Cyclic RCPSP. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Toshihiro Matsui, Marius Silaghi 0001, Katsutoshi Hirayama, Makoto Yokoo, Boi Faltings, Hiroshi Matsuo |
Reducing the Search Space of Resource Constrained DCOPs. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo, Carme Torras |
Symmetry Breaking in Numeric Constraint Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien |
Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Boolean Equi-propagation for Optimized SAT Encoding. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey |
Half Reification and Flattening. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Fages, Xavier Lorca |
Revisiting the tree Constraint. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Runming Lu, Sheng Liu, Jian Zhang 0001 |
Searching for Doubly Self-orthogonal Latin Squares. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu |
A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mikolás Janota, João Marques-Silva 0001 |
On Deciding MUS Membership with QBF. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
Algorithm Selection and Scheduling. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Weiming Liu 0001, Sheng-Sheng Wang 0001, Sanjiang Li, Dayou Liu |
Solving Qualitative Constraints Involving Landmarks. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Verfaillie, Cédric Pralet |
Constraint Programming for Controller Synthesis. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roger Kameugne, Laure Pauline Fotso, Joseph D. Scott, Youcheu Ngo-Kateu |
A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Davies 0001, Fahiem Bacchus |
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Barnaby Martin, Daniël Paulusma |
The Computational Complexity of Disconnected Cut and 2K 2-Partition. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon |
An Efficient Light Solver for Querying the Semantic Web. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Kadioglu, Eoin O'Mahony, Philippe Refalo, Meinolf Sellmann |
Incorporating Variance in Impact-Based Search. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Justin Yip, Pascal Van Hentenryck |
Checking and Filtering Global Set Constraints. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet, Gérard Verfaillie |
Beyond QCSP for Solving Control Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Stanislav Zivný |
Tractable Triangles. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Serge Gaspers, Stefan Szeider |
The Parameterized Complexity of Local Consistency. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|