Constraint propagation with interval labels
From MaRDI portal
Recommendations
Cites work
- An approach to nonlinear programming
- Consistency in networks of relations
- Deciding Linear Inequalities by Computing Loop Residues
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 43240 (Why is no real title available?)
- scientific article; zbMATH DE number 3511563 (Why is no real title available?)
- scientific article; zbMATH DE number 3599517 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 3043879 (Why is no real title available?)
- Inferring the positions of bodies from specified spatial relationships
- Maintaining knowledge about temporal intervals
- On the Foundations of Relaxation Labeling Processes
- Some undecidable problems involving elementary functions of a real variable
- Symbolic reasoning among 3-D models and 2-D images
- Synthesizing constraint expressions
Cited in
(58)- Tightened reachability constraints for the verification of linear hybrid systems
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Some fundamental properties of local constraint propagation
- Temporal constraint networks
- Propagating belief functions through constraint systems
- A canonical form for generalized linear constraints
- The logic of constraint satisfaction
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach
- A methodology for the reduction of imprecision in the engineering process
- On the analytic representation of the Leximin ordering and its application to flexible constraint propagation
- Arc-consistency for continuous variables
- Knowledge-based system for the completion of traffic data
- Model-based inference in CHARME.
- Theoretical and numerical constraint-handling techniques used with evolutionary algorithms: A survey of the state-of-the-art
- Qualitative and quantitative simulation: bridging the gap
- Constraint propagation techniques for the disjunctive scheduling problem
- Local search with constraint propagation and conflict-based heuristics
- Accelerating filtering techniques for numeric CSPs
- Nonlinear bounded-error state estimation of continuous-time systems
- Domain reduction techniques for global NLP and MINLP optimization
- A rigorous global filtering algorithm for quadratic constraints
- On the computational complexity of querying bounds on differences constraints
- Computational systems for qualitative economics
- On the usage of qualitative reasoning as an approach towards enterprise modelling
- Minimal model semantics for sorted constraint representation
- The essence of constraint propagation
- Sums and products of intervals in ordered groups and fields
- Two-row and two-column mixed-integer presolve using hashing-based pairing methods
- On handling indicator constraints in mixed integer programming
- Bound reduction using pairs of linear inequalities
- Thick set inversion
- Control of perceptual attention in robot driving
- Guaranteed non-linear estimation using constraint propagation on sets
- NUMERICAL METHODS FOR FUZZY INITIAL VALUE PROBLEMS
- An Analysis of Slow Convergence in Interval Propagation
- scientific article; zbMATH DE number 176880 (Why is no real title available?)
- scientific article; zbMATH DE number 683340 (Why is no real title available?)
- scientific article; zbMATH DE number 1975073 (Why is no real title available?)
- Guaranteed recursive non-linear state bounding using interval analysis
- Nonlinear state estimation using forward-backward propagation of intervals in an algorithm
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Reverse propagation of McCormick relaxations
- From LP to LP: Programming with constraints
- Language-Based Abstraction Refinement for Hybrid System Verification
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- scientific article; zbMATH DE number 4187151 (Why is no real title available?)
- Integrating operations research in constraint programming
- Integrating operations research in constraint programming
- Interval constraint propagation with application to bounded-error estimation
- Temporal representation and reasoning in artificial intelligence: A review
- Solving continuous and discrete nonlinear programs with BARON
- Set membership parameter estimation of fractional models based on bounded frequency domain data
- Optimal contractor for n-gons constraint
- Simulation of hybrid circuits in constraint logic programming
- Incorporating bounds from decision diagrams into integer programming
- Contractor programming
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
- Constraint propagation, relational arithmetic in AI systems and mathematical programs
This page was built for publication: Constraint propagation with interval labels
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101265)
