Constraint Programming and Decision Making

Editors:

ISBN: 978-3-319-04279-4 (Print) 978-3-319-04280-0 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages 1-12

  2. No Access

    Chapter

    Pages 1-7

    Algorithmics of Checking whether a Mapping Is Injective, Surjective, and/or Bijective

  3. No Access

    Chapter

    Pages 9-13

    Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a Seemingly Counter-Intuitive Russian Saying

  4. No Access

    Chapter

    Pages 15-18

    Continuous If-Then Statements Are Computable

  5. No Access

    Chapter

    Pages 19-34

    Linear Programming with Interval Type-2 Fuzzy Constraints

  6. No Access

    Chapter

    Pages 35-45

    Epistemic Considerations on Expert Disagreement, Normative Justification, and Inconsistency Regarding Multi-criteria Decision Making

  7. No Access

    Chapter

    Pages 47-59

    Interval Linear Programming Techniques in Constraint Programming and Global Optimization

  8. No Access

    Chapter

    Pages 61-65

    Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-objective Constraint Optimization

  9. No Access

    Chapter

    Pages 67-74

    Gibbs Sampling as a Natural Statistical Analog of Constraints Techniques: Prediction in Science under General Probabilistic Uncertainty

  10. No Access

    Chapter

    Pages 75-78

    Why Tensors?

  11. No Access

    Chapter

    Pages 79-83

    Adding Constraints – A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems

  12. No Access

    Chapter

    Pages 85-89

    Under Physics-Motivated Constraints, Generally-Non-Algorithmic Computational Problems become Algorithmically Solvable

  13. No Access

    Chapter

    Pages 91-95

    Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization

  14. No Access

    Chapter

    Pages 97-109

    Optimization of the Choquet Integral Using Genetic Algorithm

  15. No Access

    Chapter

    Pages 111-129

    Scalable, Portable, Verifiable Kronecker Products on Multi-scale Computers

  16. No Access

    Chapter

    Pages 131-135

    Reliable and Robust Automated Synthesis of QFT Controller for Nonlinear Magnetic Levitation System Using Interval Constraint Satisfaction Techniques

  17. No Access

    Chapter

    Pages 137-141

    Towards an Efficient Bisection of Ellipsoids

  18. No Access

    Chapter

    Pages 143-152

    An Auto-validating Rejection Sampler for Differentiable Arithmetical Expressions: Posterior Sampling of Phylogenetic Quartets

  19. No Access

    Chapter

    Pages 153-170

    Graph Subdivision Methods in Interval Global Optimization

  20. No Access

    Chapter

    Pages 171-174

    An Extended BDI-Based Model for Human Decision-Making and Social Behavior: Various Applications

  21. No Access

    Chapter

    Pages 175-179

    Why Curvature in L-Curve: Combining Soft Constraints

previous Page of 2