share record
persistent URL:
David Lesaint , Deepak Mehta , Barry O'Sullivan , Luis Quesada , Nic Wilson : Context-Sensitive Call Control Using Constraints and Rules. CP 2010 : 583-597 share record
persistent URL:
Michele Lombardi , Michela Milano : Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution. CP 2010 : 383-397 share record
persistent URL:
Roberto Castañeda Lozano , Christian Schulte , Lars Wahlberg : Testing Continuous Double Auctions with a Constraint-Based Oracle. CP 2010 : 613-627 share record
persistent URL:
Florent R. Madelaine : On the Containment of Forbidden Patterns Problems. CP 2010 : 345-359 share record
persistent URL:
Bruno Marre , Claude Michel : Improving the Floating Point Addition and Subtraction Constraints. CP 2010 : 360-367 share record
persistent URL:
Barnaby Martin : The Lattice Structure of Sets of Surjective Hyper-Operations. CP 2010 : 368-382 share record
persistent URL:
Laurent Michel , Alexander A. Shvartsman , Elaine L. Sonderegger , Pascal Van Hentenryck : Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. CP 2010 : 598-612 share record
persistent URL:
Robert Nieuwenhuis : SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering. CP 2010 : 1-2 share record
persistent URL:
Alessandro Dal Palù , Mathias Möhl , Sebastian Will : A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. CP 2010 : 167-175 share record
persistent URL:
Justyna Petke , Peter Jeavons : Local Consistency and SAT-Solvers. CP 2010 : 398-413 share record
persistent URL:
Jussi Rintanen : Heuristics for Planning with SAT. CP 2010 : 414-428 share record
persistent URL:
Yevgeny Schreiber : Value-Ordering Heuristics: Search Performance vs. Solution Diversity. CP 2010 : 429-444 share record
persistent URL:
Andreas Schutt , Armin Wolf : A New O (n 2 logn ) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints. CP 2010 : 445-459 share record
persistent URL:
Helmut Simonis , Paul Davern , Jacob Feldman , Deepak Mehta , Luis Quesada , Mats Carlsson : A Generic Visualization Platform for CP. CP 2010 : 460-474 share record
persistent URL:
Michaël Soulignac , Michel Rueher , Patrick Taillibert : A Safe and Flexible CP-Based Approach for Velocity Tuning Problems. CP 2010 : 628-642 share record
persistent URL:
Gilles Trombettoni , Yves Papegay , Gilles Chabert , Odile Pourtallier : A Box-Consistency Contractor Based on Extremal Functions. CP 2010 : 491-498 share record
persistent URL:
Edward P. K. Tsang : Constraint-Directed Search in Computational Finance and Economics. CP 2010 : 3-7 share record
persistent URL:
Moshe Y. Vardi : Constraints, Graphs, Algebra, Logic, and Complexity. CP 2010 : 8 share record
persistent URL:
Ross Willard : Testing Expressibility Is Hard. CP 2010 : 9-23 share record
persistent URL:
Justin Yip , Pascal Van Hentenryck : Exponential Propagation for Set Variables. CP 2010 : 499-513 share record
persistent URL:
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 [contents]