Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th CP 2010: St. Andrews, Scotland, UK
- David Cohen:
Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings. Lecture Notes in Computer Science 6308, Springer 2010, ISBN 978-3-642-15395-2
Invited Talks
- Robert Nieuwenhuis:
SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering. 1-2 - Edward P. K. Tsang:
Constraint-Directed Search in Computational Finance and Economics. 3-7 - Moshe Y. Vardi:
Constraints, Graphs, Algebra, Logic, and Complexity. 8
Distinguished Papers
- Ross Willard:
Testing Expressibility Is Hard. 9-23 - 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. 24-37 - Stefano Ermon, Carla P. Gomes, Bart Selman:
Computing the Density of States of Boolean Formulas. 38-52
Research Track
- David Allouche, Simon de Givry, Thomas Schiex:
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. 53-60 - Ignacio Araya, Gilles Trombettoni, Bertrand Neveu:
Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity. 61-68 - Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh:
Improving the Performance of maxRPC. 69-83 - J. Christopher Beck:
Checking-Up on Branch-and-Check. 84-98 - Russell Bent, Pascal Van Hentenryck:
Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows. 99-113 - Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Decomposition of the NValue Constraint. 114-128 - Hadrien Cambazard, Barry O'Sullivan:
Propagating the Bin Packing Constraint Using Linear Programming. 129-136 - Gilles Chabert, Nicolas Beldiceanu:
Sweeping with Continuous Domains. 137-151 - Martin C. Cooper, Stanislav Zivný:
A New Hybrid Tractable Class of Soft Constraint Problems. 152-166 - Alessandro Dal Palù, Mathias Möhl, Sebastian Will:
A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. 167-175 - Jessica Davies, Jeremy Cho, Fahiem Bacchus:
Using Learnt Clauses in maxsat. 176-190 - Yves Deville, Pascal Van Hentenryck:
Domain Consistency with Forbidden Values. 191-205 - Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale:
Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. 206-220 - Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe:
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework. 221-235 - Gianluigi Greco, Francesco Scarcello:
Structural Tractability of Enumerating CSP Solutions. 236-251 - Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Diversification and Intensification in Parallel SAT Solving. 252-265 - Samid Hoda, Willem Jan van Hoeve, John N. Hooker:
A Systematic Approach to MDD-Based Constraint Programming. 266-280 - Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann:
A Complete Multi-valued SAT Solver. 281-296 - Tommi A. Junttila, Petteri Kaski:
Exact Cover via Satisfiability: An Empirical Study. 297-304 - George Katsirelos, Nina Narodytska, Toby Walsh:
On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry. 305-320 - Lars Kotthoff, Ian Miguel, Peter Nightingale:
Ensemble Classification for Constraint Solver Configuration. 321-329 - Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah:
On Testing Constraint Programs. 330-344 - Florent R. Madelaine:
On the Containment of Forbidden Patterns Problems. 345-359 - Bruno Marre, Claude Michel:
Improving the Floating Point Addition and Subtraction Constraints. 360-367 - Barnaby Martin:
The Lattice Structure of Sets of Surjective Hyper-Operations. 368-382 - Michele Lombardi, Michela Milano:
Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution. 383-397 - Justyna Petke, Peter Jeavons:
Local Consistency and SAT-Solvers. 398-413 - Jussi Rintanen:
Heuristics for Planning with SAT. 414-428 - Yevgeny Schreiber:
Value-Ordering Heuristics: Search Performance vs. Solution Diversity. 429-444 - Andreas Schutt, Armin Wolf:
A New O(n2logn) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints. 445-459 - Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson:
A Generic Visualization Platform for CP. 460-474 - Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Database Constraints and Homomorphism Dualities. 475-490 - Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier:
A Box-Consistency Contractor Based on Extremal Functions. 491-498 - Justin Yip, Pascal Van Hentenryck:
Exponential Propagation for Set Variables. 499-513
Applications Track
- Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
An Empirical Study of Optimization for Maximizing Diffusion in Networks. 514-521 - Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney:
An Integrated Modelling, Debugging, and Visualisation Environment for G12. 522-536 - Ahmet Serkan Karatas, Halit Oguztüzün, Ali H. Dogru:
Global Constraints on Feature Models. 537-551 - Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux:
Constraint Programming for Mining n-ary Patterns. 552-567 - Roman van der Krogt, Jacob Feldman, James Little, David Stynes:
An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management. 568-582 - David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Context-Sensitive Call Control Using Constraints and Rules. 583-597 - Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. 598-612 - Roberto Castañeda Lozano, Christian Schulte, Lars Wahlberg:
Testing Continuous Double Auctions with a Constraint-Based Oracle. 613-627 - Michaël Soulignac, Michel Rueher, Patrick Taillibert:
A Safe and Flexible CP-Based Approach for Velocity Tuning Problems. 628-642 - Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson:
Contingency Plans for Air Traffic Management. 643-657
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
