↓ Skip to main content

Principles and Practice of Constraint Programming

Overview of attention for book
Cover of 'Principles and Practice of Constraint Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Novel Approach to String Constraint Solving
  3. Altmetric Badge
    Chapter 2 Generating Linear Invariants for a Conjunction of Automata Constraints
  4. Altmetric Badge
    Chapter 3 among Implied Constraints for Two Families of Time-Series Constraints
  5. Altmetric Badge
    Chapter 4 Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size
  6. Altmetric Badge
    Chapter 5 An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources
  7. Altmetric Badge
    Chapter 6 Conjunctions of Among Constraints
  8. Altmetric Badge
    Chapter 7 Clique Cuts in Weighted Constraint Satisfaction
  9. Altmetric Badge
    Chapter 8 Arc Consistency via Linear Programming
  10. Altmetric Badge
    Chapter 9 Combining Nogoods in Restart-Based Search
  11. Altmetric Badge
    Chapter 10 All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems
  12. Altmetric Badge
    Chapter 11 Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra
  13. Altmetric Badge
    Chapter 12 Defining and Evaluating Heuristics for the Compilation of Constraint Networks
  14. Altmetric Badge
    Chapter 13 A Tolerant Algebraic Side-Channel Attack on AES Using CP
  15. Altmetric Badge
    Chapter 14 On Maximum Weight Clique Algorithms, and How They Are Evaluated
  16. Altmetric Badge
    Chapter 15 MDDs: Sampling and Probability Constraints
  17. Altmetric Badge
    Chapter 16 An Incomplete Constraint-Based System for Scheduling with Renewable Resources
  18. Altmetric Badge
    Chapter 17 Rotation-Based Formulation for Stable Matching
  19. Altmetric Badge
    Chapter 18 Preference Elicitation for DCOPs
  20. Altmetric Badge
    Chapter 19 Extending Compact-Table to Basic Smart Tables
  21. Altmetric Badge
    Chapter 20 Constraint Programming Applied to the Multi-Skill Project Scheduling Problem
  22. Altmetric Badge
    Chapter 21 An Optimization Model for 3D Pipe Routing with Flexibility Constraints
  23. Altmetric Badge
    Chapter 22 Optimal Torpedo Scheduling
  24. Altmetric Badge
    Chapter 23 Constraint Handling in Flight Planning
  25. Altmetric Badge
    Chapter 24 NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities
  26. Altmetric Badge
    Chapter 25 Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems
  27. Altmetric Badge
    Chapter 26 Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
  28. Altmetric Badge
    Chapter 27 Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing
  29. Altmetric Badge
    Chapter 28 Integer and Constraint Programming for Batch Annealing Process Planning
  30. Altmetric Badge
    Chapter 29 Minimum-Width Confidence Bands via Constraint Optimization
  31. Altmetric Badge
    Chapter 30 Constraint Programming for Multi-criteria Conceptual Clustering
  32. Altmetric Badge
    Chapter 31 A Declarative Approach to Constrained Community Detection
  33. Altmetric Badge
    Chapter 32 Combining Stochastic Constraint Optimization and Probabilistic Programming
  34. Altmetric Badge
    Chapter 33 Learning the Parameters of Global Constraints Using Branch-and-Bound
  35. Altmetric Badge
    Chapter 34 CoverSize: A Global Constraint for Frequency-Based Itemset Mining
  36. Altmetric Badge
    Chapter 35 A Column-Generation Algorithm for Evacuation Planning with Elementary Paths
  37. Altmetric Badge
    Chapter 36 Job Sequencing Bounds from Decision Diagrams
  38. Altmetric Badge
    Chapter 37 Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows
  39. Altmetric Badge
    Chapter 38 Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation
  40. Altmetric Badge
    Chapter 39 Analyzing Lattice Point Feasibility in UTVPI Constraints
  41. Altmetric Badge
    Chapter 40 A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP
  42. Altmetric Badge
    Chapter 41 Reduced Cost Fixing in MaxSAT
  43. Altmetric Badge
    Chapter 42 Weight-Aware Core Extraction in SAT-Based MaxSAT Solving
  44. Altmetric Badge
    Chapter 43 Optimizing SAT Encodings for Arithmetic Constraints
  45. Altmetric Badge
    Chapter 44 Constraint-Based Synthesis of Datalog Programs
  46. Altmetric Badge
    Chapter 45 Search Strategies for Floating Point Constraint Systems
Attention for Chapter 26: Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
Chapter number 26
Book title
Principles and Practice of Constraint Programming
Published by
Springer, Cham, August 2017
DOI 10.1007/978-3-319-66158-2_26
Book ISBNs
978-3-31-966157-5, 978-3-31-966158-2
Authors

Linjie Pan, Jiwei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang