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