Abstract is missing.
- SAT Modulo Theories: Getting the Best of SAT and Global Constraint FilteringRobert Nieuwenhuis. 1-2 [doi]
- Constraint-Directed Search in Computational Finance and EconomicsEdward Tsang. 3-7 [doi]
- Constraints, Graphs, Algebra, Logic, and ComplexityMoshe Y. Vardi. 8 [doi]
- Testing Expressibility Is HardRoss Willard. 9-23 [doi]
- Applying Constraint Programming to Identification and Assignment of Service ProfessionalsSigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors, Donna L. Gresh, Julio Ortega, Michael J. Mcinnis. 24-37 [doi]
- Computing the Density of States of Boolean FormulasStefano Ermon, Carla P. Gomes, Bart Selman. 38-52 [doi]
- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSPDavid Allouche, Simon de Givry, Thomas Schiex. 53-60 [doi]
- Making Adaptive an Interval Constraint Propagation Algorithm Exploiting MonotonicityIgnacio Araya, Gilles Trombettoni, Bertrand Neveu. 61-68 [doi]
- Improving the Performance of maxRPCThanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh. 69-83 [doi]
- Checking-Up on Branch-and-CheckJ. Christopher Beck. 84-98 [doi]
- Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time WindowsRussell Bent, Pascal Van Hentenryck. 99-113 [doi]
- Decomposition of the NValue ConstraintChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. 114-128 [doi]
- Propagating the Bin Packing Constraint Using Linear ProgrammingHadrien Cambazard, Barry O Sullivan. 129-136 [doi]
- Sweeping with Continuous DomainsGilles Chabert, Nicolas Beldiceanu. 137-151 [doi]
- A New Hybrid Tractable Class of Soft Constraint ProblemsMartin C. Cooper, Stanislav Zivný. 152-166 [doi]
- A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise DependenciesAlessandro Dal Palù, Mathias Möhl, Sebastian Will. 167-175 [doi]
- Using Learnt Clauses in maxsatJessica Davies, Jeremy Cho, Fahiem Bacchus. 176-190 [doi]
- Domain Consistency with Forbidden ValuesYves Deville, Pascal Van Hentenryck. 191-205 [doi]
- Generating Special-Purpose Stateless Propagators for Arbitrary ConstraintsIan P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale. 206-220 [doi]
- Including Ordinary Differential Equations Based Constraints in the Standard CP FrameworkAlexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe. 221-235 [doi]
- Structural Tractability of Enumerating CSP SolutionsGianluigi Greco, Francesco Scarcello. 236-251 [doi]
- Diversification and Intensification in Parallel SAT SolvingLong Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais. 252-265 [doi]
- A Systematic Approach to MDD-Based Constraint ProgrammingSamid Hoda, Willem Jan van Hoeve, John N. Hooker. 266-280 [doi]
- A Complete Multi-valued SAT SolverSiddhartha Jain, Eoin O Mahony, Meinolf Sellmann. 281-296 [doi]
- Exact Cover via Satisfiability: An Empirical StudyTommi A. Junttila, Petteri Kaski. 297-304 [doi]
- Ensemble Classification for Constraint Solver ConfigurationLars Kotthoff, Ian Miguel, Peter Nightingale. 321-329 [doi]
- On Testing Constraint ProgramsNadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah. 330-344 [doi]
- On the Containment of Forbidden Patterns ProblemsFlorent R. Madelaine. 345-359 [doi]
- Improving the Floating Point Addition and Subtraction ConstraintsBruno Marre, Claude Michel. 360-367 [doi]
- The Lattice Structure of Sets of Surjective Hyper-OperationsBarnaby Martin. 368-382 [doi]
- Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed ExecutionMichele Lombardi, Michela Milano. 383-397 [doi]
- Local Consistency and SAT-SolversJustyna Petke, Peter Jeavons. 398-413 [doi]
- Heuristics for Planning with SATJussi Rintanen. 414-428 [doi]
- Value-Ordering Heuristics: Search Performance vs. Solution DiversityYevgeny Schreiber. 429-444 [doi]
- A New ::::O::::(::::n:::::::2:::log::::n::::) Not-First/Not-Last Pruning Algorithm for Cumulative Resource ConstraintsAndreas Schutt, Armin Wolf. 445-459 [doi]
- A Generic Visualization Platform for CPHelmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson. 460-474 [doi]
- Database Constraints and Homomorphism DualitiesBalder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan. 475-490 [doi]
- A Box-Consistency Contractor Based on Extremal FunctionsGilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier. 491-498 [doi]
- Exponential Propagation for Set VariablesJustin Yip, Pascal Van Hentenryck. 499-513 [doi]
- An Empirical Study of Optimization for Maximizing Diffusion in NetworksKiyan Ahmadizadeh, Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal. 514-521 [doi]
- An Integrated Modelling, Debugging, and Visualisation Environment for G12Andreas Bauer 0002, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney. 522-536 [doi]
- Global Constraints on Feature ModelsAhmet Serkan Karatas, Halit Oguztüzün, Ali H. Dogru. 537-551 [doi]
- Constraint Programming for Mining n-ary PatternsMehdi Khiari, Patrice Boizumault, Bruno Crémilleux. 552-567 [doi]
- An Integrated Business Rules and Constraints Approach to Data Centre Capacity ManagementRoman van der Krogt, Jacob Feldman, James Little, David Stynes. 568-582 [doi]
- Context-Sensitive Call Control Using Constraints and RulesDavid Lesaint, Deepak Mehta, Barry O Sullivan, Luis Quesada, Nic Wilson. 583-597 [doi]
- Load Balancing and Almost Symmetries for RAMBO Quorum HostingLaurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck. 598-612 [doi]
- Testing Continuous Double Auctions with a Constraint-Based OracleRoberto Castañeda Lozano, Christian Schulte, Lars Wahlberg. 613-627 [doi]
- A Safe and Flexible CP-Based Approach for Velocity Tuning ProblemsMichaël Soulignac, Michel Rueher, Patrick Taillibert. 628-642 [doi]
- Contingency Plans for Air Traffic ManagementKarl Sundequist Blomdahl, Pierre Flener, Justin Pearson. 643-657 [doi]