| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Samba Ndojh Ndiaye, Christine Solnon |
CP Models for Maximum Common Subgraph Problems.  |
CP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddhartha Jain, Pascal Van Hentenryck |
Large Neighborhood Search for Dial-a-Ride Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mehta, Barry O'Sullivan, Luis Quesada |
Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo |
On the Relative Efficiency of DPLL and OBDDs with Axiom and Join. |
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 | Jinsong Guo, Zhanshan Li, Liang Zhang, Xuena Geng |
MaxRPC Algorithms Based on Bitwise Operations. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher |
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. |
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 | Barnaby Martin |
QCSP on Partially Reflexive Forests. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oswaldo Olivo, E. Allen Emerson |
A More Efficient BDD-Based QBF Solver. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano |
A Constraint Based Approach to Cyclic RCPSP. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schutt, Peter J. Stuckey, Andrew R. Verden |
Optimal Carpet Cutting. |
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 | 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 | Emma Rollon, Javier Larrosa |
On Mini-Buckets and the Min-fill Elimination Ordering. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini |
Neuron Constraints to Model Complex Real-World Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure |
A CSP Solver Focusing on fac Variables. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo, Boi Faltings |
Pseudo-Tree-Based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, João P. Marques Silva |
On Deciding MUS Membership with QBF. |
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 | Jessica Davies, Fahiem Bacchus |
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diarmuid Grimes, Emmanuel Hebrard |
Models and Strategies for Variants of the Job Shop Scheduling Problem. |
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 | Toshihiro Matsui, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Boi Faltings, Hiroshi Matsuo |
Reducing the Search Space of Resource Constrained DCOPs. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jonsson, Fredrik Kuivinen, Johan Thapper |
Min CSP on Four Elements: Moving beyond Submodularity. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Stanislav Zivny |
Tractable Triangles. |
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 | Allen Van Gelder |
Variable Independence and Resolution Paths for Quantified Boolean Formulas. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Runming Lu, Sheng Liu, Jian Zhang |
Searching for Doubly Self-orthogonal Latin Squares. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tivadar Papai, Parag Singla, Henry A. Kautz |
Constraint Propagation for Efficient Inference in Markov Logic. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Stølevik, Tomas Eric Nordlander, Atle Riise, Helle Frøyseth |
A Hybrid Approach for Solving Real-World Nurse Rostering Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Perron |
Operations Research and Constraint Programming at Google. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiming Liu, Sheng-sheng Wang, Sanjiang Li, Dayou Liu |
Solving Qualitative Constraints Involving Landmarks. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Gaspers, Stefan Szeider |
The Parameterized Complexity of Local Consistency. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Ramamoorthy, Marius-Calin Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
The Design of Cryptographic S-Boxes Using CSPs. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Páidí Creed, Stanislav Zivny |
On Minimal Weighted Clones. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir A. Mohamed Elsayed, Laurent Michel |
Synthesis of Search Algorithms from High-Level CP Models. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
Structural Tractability of Constraint Optimization. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Pelleau, Charlotte Truchet, Frédéric Benhamou |
Octagonal Domains for Continuous Constraints. |
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 | Roger Kameugne, Laure Pauline Fotso, Joseph Scott, Youcheu Ngo-Kateu |
A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints. |
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 | 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 | Jean-François Condotta, Christophe Lecoutre |
A Framework for Decision-Based Consistencies. |
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 | 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 | Fabien Hermenier, Sophie Demassey, Xavier Lorca |
Bin Repacking Scheduling in Virtualized Datacenters. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Martin C. Cooper, Martin J. Green, Dániel Marx |
On Guaranteeing Polynomially Bounded Search Tree Size. |
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 | Nic Wilson, Walid Trabelsi |
Pruning Rules for Constrained Optimisation for Conditional Preferences. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Mendonça de Moura |
Orchestrating Satisfiability Engines. |
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 | Jean-Charles Régin |
Solving Problems with CP: Four Common Pitfalls to Avoid. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover |
Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Stanislav Zivny |
Hierarchically Nested Convex VCSP. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace |
Proving Symmetries by Model Transformation. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob |
On Minimal Constraint Networks. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Guillaume Fages, Xavier Lorca |
Revisiting the tree Constraint. |
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 | 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 | Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey |
Half Reification and Flattening. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais |
Diversification and Intensification in Parallel SAT Solving. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier |
A Box-Consistency Contractor Based on Extremal Functions. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Chabert, Nicolas Beldiceanu |
Sweeping with Continuous Domains. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah |
On Testing Constraint Programs. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samid Hoda, Willem Jan van Hoeve, John N. Hooker |
A Systematic Approach to MDD-Based Constraint Programming. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman van der Krogt, Jacob Feldman, James Little, David Stynes |
An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Justyna Petke, Peter Jeavons |
Local Consistency and SAT-Solvers. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiyan Ahmadizadeh, Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
An Empirical Study of Optimization for Maximizing Diffusion in Networks. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
Structural Tractability of Enumerating CSP Solutions. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward P. K. Tsang |
Constraint-Directed Search in Computational Finance and Economics. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeny Schreiber |
Value-Ordering Heuristics: Search Performance vs. Solution Diversity. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Yip, Pascal Van Hentenryck |
Exponential Propagation for Set Variables. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe |
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cohen (eds.) |
Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Mathias Möhl, Sebastian Will |
A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
Context-Sensitive Call Control Using Constraints and Rules. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Barry O'Sullivan |
Propagating the Bin Packing Constraint Using Linear Programming. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
Database Constraints and Homomorphism Dualities. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney |
An Integrated Modelling, Debugging, and Visualisation Environment for G12. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson |
A Generic Visualization Platform for CP. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors, Donna L. Gresh, Julio Ortega, Michael J. Mcinnis |
Applying Constraint Programming to Identification and Assignment of Service Professionals. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Ermon, Carla P. Gomes, Bart Selman |
Computing the Density of States of Boolean Formulas. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson |
Contingency Plans for Air Traffic Management. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Allouche, Simon de Givry, Thomas Schiex |
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jussi Rintanen |
Heuristics for Planning with SAT. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Willard |
Testing Expressibility Is Hard. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kotthoff, Ian Miguel, Peter Nightingale |
Ensemble Classification for Constraint Solver Configuration. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell Bent, Pascal Van Hentenryck |
Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann |
A Complete Multi-valued SAT Solver. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Nieuwenhuis |
SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessica Davies, Jeremy Cho, Fahiem Bacchus |
Using Learnt Clauses in maxsat. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Stanislav Zivny |
A New Hybrid Tractable Class of Soft Constraint Problems. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Decomposition of the NValue Constraint. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux |
Constraint Programming for Mining n-ary Patterns. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")