Principles and practice of constraint programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: CP 2018
• Further Information: Note: Edited by John Hooker.
• Editors: Hooker, John, 1949-
• Other Names: CP (Conference), 24th
• Contents: Main Technical Track -- Automatic Discovery and Exploitation of Promising Subproblems for Tabulation -- Propagating regular membership with dashed strings -- A Constraint-based Encoding for Domain-Independent Temporal Planning -- Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class -- Domain Reduction for Valued Constraints by Generalising Methods from CSP -- Solver-independent Large Neighbourhood Search -- Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers -- An SMT Approach to Fractional Hypertree Width -- On the non-Degeneracy of Unsatisfiability Proof Graphs produced by SAT Solvers -- Sequential Precede Chain for value symmetry elimination -- An Incremental SAT-Based Approach to Reason Efficiently On Qualitative Constraint Network -- Clause Learning and New Bounds for Graph Coloring -- Portfolio-based algorithm selection for circuit QBFs -- Making Compact-Table Compact -- Approximation Strategies for Incomplete MaxSAT -- A novel graph-based heuristic approach for solving sport scheduling problem -- Augmenting Stream Constraint Programming with Eventuality Conditions -- A Complete Tolerant Algebraic Side-Channel Attack for AES with CP -- Evaluating QBF Solvers: Quantifier Alternations Matter -- The Quantified Valued Constraint Satisfaction Problem -- MLIC: A MaxSAT-Based framework for learning interpretable classification rules -- Objective as a Feature for Robust Search Strategies -- PW-ACBit: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints -- Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice -- Efficient Methods for Constraint Acquisition -- A Circuit Consellmanntraint for Multiple Tours Problems -- Towards Semi-Automatic Learning-based Model Transformation -- Finding solutions by finding inconsistencies -- The Effect of Structural Measures and Merges on SAT Solver Performance -- Learning-Sensitive Backdoors with Restarts -- Applications Track -- Process Plant Layout Optimization: Equipment Allocation -- A Constraint Programming Approach for Solving Patient Transportation Problems -- Unifying Reserve Design Strategies with Graph Theory and Constraint Programming -- Self-Configuring Cost-Sensitive Hierarchical Clustering With Recourse -- CP and Data Science Track -- User's constraints in itemset mining -- On Maximal Frequent Itemsets Mining With Constraints -- A Parallel SAT based Framework for Closed Frequent Itemsets Mining -- Effective Deep Learning for Constraint Satisfaction Problems -- CP and Music Track -- Extending the Capacity of 1/f Noise Generation -- CP and Operations Research Track -- Securely and Automatically Deploying Micro-Services in an Hybrid Cloud Infrastructure -- Improving Energetic Propagations for Cumulative Scheduling -- CP, Optimization, and Power System Management Track -- A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices under Real-Time Pricing -- Multiagent and Parallel CP Track -- Balancing Asymmetry in Max-sum using Split Constraint Factor Graphs -- A Large Neighboring Search Schema for Multi-Agent Optimization -- Distributed constrained search by selfish agents for efficient equilibria -- Testing and Verification Track -- Metamorphic Testing of Constraint Solvers -- Algebraic Fault Attack on SHA Hash Functions using Programmatic SAT Solvers.
• Publisher Details: Cham : Springer
• Publication Date: 2018
• Extent: 1 online resource (xxvii, 764 pages)
• Subjects: 005.131; Computer science; Constraint programming (Computer science) -- Congresses; Computer Science; Mathematical Logic and Formal Languages; Mathematics of Computing; Artificial Intelligence (incl. Robotics); Software Engineering/Programming and Operating Systems; Data Structures, Cryptology and Information Theory; Computer Systems Organization and Communication Networks; Computers -- Data Processing; Computers -- Intelligence (AI) & Semantics; Computers -- Software Development & Engineering -- General; Computers -- Information Theory; Computers -- Hardware -- General; Mathematical theory of computation; Artificial intelligence; Software Engineering; Algorithms & data structures; Computer networking & communications; Mathematics -- Logic; Artificial intelligence; Computer organization; Computer science; Computer science -- Mathematics; Constraint programming (Computer science); Data structures (Computer science); Logic, Symbolic and mathematical; Software engineering; Artificial intelligence; Software engineering; Data structures (Computer science); Computer network architectures; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319983349; 3319983342
• Related ISBNs: 9783319983332; 3319983334
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.