Abstract is missing.
- Automatic Discovery and Exploitation of Promising Subproblems for TabulationÖzgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon. 3-12 [doi]
- Propagating Regular Membership with Dashed StringsRoberto Amadini, Graeme Gange, Peter J. Stuckey. 13-29 [doi]
- A Constraint-Based Encoding for Domain-Independent Temporal PlanningArthur Bit-Monnot. 30-46 [doi]
- Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn ClassMassimo Bono, Alfonso Emilio Gerevini. 47-63 [doi]
- Domain Reduction for Valued Constraints by Generalising Methods from CSPMartin C. Cooper, Wafa Jguirim, David A. Cohen. 64-80 [doi]
- Solver-Independent Large Neighbourhood SearchJip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack. 81-98 [doi]
- Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete SolversEmir Demirovic, Geoffrey Chu, Peter J. Stuckey. 99-108 [doi]
- An SMT Approach to Fractional Hypertree WidthJohannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider. 109-127 [doi]
- On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT SolversRohan Fossé, Laurent Simon. 128-143 [doi]
- Sequential Precede Chain for Value Symmetry EliminationGraeme Gange, Peter J. Stuckey. 144-159 [doi]
- An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint NetworksGael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis. 160-178 [doi]
- Clause Learning and New Bounds for Graph ColoringEmmanuel Hebrard, George Katsirelos. 179-194 [doi]
- Portfolio-Based Algorithm Selection for Circuit QBFsHolger H. Hoos, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider. 195-209 [doi]
- Making Compact-Table CompactLinnea Ingmar, Christian Schulte 0001. 210-218 [doi]
- Approximation Strategies for Incomplete MaxSATSaurabh Joshi 0001, Prateek Kumar, Ruben Martins, Sukrut Rao. 219-228 [doi]
- A Novel Graph-Based Heuristic Approach for Solving Sport Scheduling ProblemMeriem Khelifa, Dalila Boughaci, Esma Aïmeur. 229-241 [doi]
- Augmenting Stream Constraint Programming with Eventuality ConditionsJasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong. 242-258 [doi]
- A Complete Tolerant Algebraic Side-Channel Attack for AES with CPFanghui Liu, Waldemar Cruz, Laurent Michel. 259-275 [doi]
- Evaluating QBF Solvers: Quantifier Alternations MatterFlorian Lonsing, Uwe Egly. 276-294 [doi]
- Quantified Valued Constraint Satisfaction ProblemFlorent R. Madelaine, Stéphane Secouard. 295-311 [doi]
- MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification RulesDmitry Maliotov, Kuldeep S. Meel. 312-327 [doi]
- Objective as a Feature for Robust Search StrategiesAnthony Palmieri, Guillaume Perez. 328-344 [doi]
- PW-CT: Extending Compact-Table to Enforce Pairwise Consistency on Table ConstraintsAnthony Schneider, Berthe Y. Choueiry. 345-361 [doi]
- Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model LatticePatrick Spracklen, Özgür Akgün, Ian Miguel. 362-372 [doi]
- Efficient Methods for Constraint AcquisitionDimosthenis C. Tsouros, Kostas Stergiou, Panagiotis G. Sarigiannidis. 373-388 [doi]
- A Circuit Constraint for Multiple Tours ProblemsPhilippe Vismara, Nicolas Briot. 389-402 [doi]
- Towards Semi-Automatic Learning-Based Model TransformationKiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda. 403-419 [doi]
- Finding Solutions by Finding InconsistenciesGhiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné. 420-435 [doi]
- The Effect of Structural Measures and Merges on SAT Solver PerformanceEdward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh. 436-452 [doi]
- Learning-Sensitive Backdoors with RestartsEdward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh. 453-469 [doi]
- Process Plant Layout Optimization: Equipment AllocationGleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstück, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace 0001. 473-489 [doi]
- A Constraint Programming Approach for Solving Patient Transportation ProblemsQuentin Cappart, Charles Thomas 0005, Pierre Schaus, Louis-Martin Rousseau. 490-506 [doi]
- Unifying Reserve Design Strategies with Graph Theory and Constraint ProgrammingDimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca. 507-523 [doi]
- Self-configuring Cost-Sensitive Hierarchical Clustering with RecourseCarlos Ansótegui, Meinolf Sellmann, Kevin Tierney. 524-534 [doi]
- User's Constraints in Itemset MiningChristian Bessiere, Nadjib Lazaar, Mehdi Maamar. 537-553 [doi]
- On Maximal Frequent Itemsets Mining with ConstraintsSaïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais. 554-569 [doi]
- A Parallel SAT-Based Framework for Closed Frequent Itemsets MiningImen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais. 570-587 [doi]
- Towards Effective Deep Learning for Constraint Satisfaction ProblemsHong Xu 0003, Sven Koenig, T. K. Satish Kumar. 588-597 [doi]
- Extending the Capacity of 1 / f Noise GenerationGuillaume Perez, Brendan Rappazzo, Carla P. Gomes. 601-610 [doi]
- Securely and Automatically Deploying Micro-services in an Hybrid Cloud InfrastructureWaldemar Cruz, Fanghui Liu, Laurent Michel. 613-628 [doi]
- Improving Energetic Propagations for Cumulative SchedulingAlexander Tesch. 629-645 [doi]
- A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time PricingShan He, Mark Wallace 0001, Graeme Gange, Ariel Liebman, Campbell Wilson. 649-666 [doi]
- Balancing Asymmetry in Max-sum Using Split Constraint Factor GraphsLiel Cohen, Roie Zivan. 669-687 [doi]
- A Large Neighboring Search Schema for Multi-agent OptimizationKhoi D. Hoang, Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli, Roie Zivan. 688-706 [doi]
- Distributed Constrained Search by Selfish Agents for Efficient EquilibriaVadim Levit, Amnon Meisels. 707-724 [doi]
- Metamorphic Testing of Constraint SolversÖzgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale. 727-736 [doi]
- Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT SolversSaeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh. 737-754 [doi]