Constraint Programming and Decision Making

Algorithmics of Checking Whether a Mapping Is Injective, Surjective,
and/or Bijective.-

Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a

Seemingly Counter-Intuitive Russian Saying.-

Continuous If-Then Statements Are Computable.-

Linear programming with Interval Type-2 fuzzy constraints.- Epistemic Considerations on Expert Disagreement, Normative



Justification, and Inconsistency Regarding Multi-Criteria Decision Making .-Interval Linear Programming Techniques in Constraint Programming

and Global Optimization.-Selecting the Best Location for a Meteorological Tower: A Case Study

of Multi-Objective Constraint Optimization.-Gibbs Sampling as a Natural Statistical Analog of Constraints

Techniques: Prediction in Science under General Probabilistic Uncertainty .-Why Tensors.-Adding Constraints - A (Seemingly Counterintuitive but) Useful

Heuristic in Solving Difficult Problems.-Under Physics-Motivated Constraints, Generally-Non-Algorithmic Computational Problems Become Algorithmically Solvable.-

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



Optimization of the Choquet Integral using Genetic Algorithm .-

Optimization of the Choquet Integral using Genetic Algorithm .-

Scalable, Portable, Verifiable Kronecker Products on Multi-Scale

Computers.-

Reliable and Robust Synthesis of QFT controller using ICSP.-



Towards an Efficient Bisection of Ellipsoids .-

.-An Auto-validating Rejection Sampler for Differentiable Arithmetical



Expressions: Posterior Sampling of Phylogenetic Quartets.-

Graph Subdivision Methods in Interval Global Optimization .-

An Extended BDI-Based Model for Human Decision-Making and Social

Behavior: Various Applications .-

Why Curvature in L-Curve: Combining Soft Constraints .-

Surrogate Models for Mixed Discrete-Continuous Variables

Why Ellipsoid Constraints, Ellipsoid Clusters, and Riemannian

Space-Time: Dvoretzky's Theorem Revisited