Solving numerical constraints
From MaRDI portal
Recommendations
Cited in
(23)- Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
- Automatic generation of numerical redundancies for nonlinear constraint solving
- A methodological view of constraint solving
- Combinatorial method for solving systems of linear constraints
- Using linear models in optimizing parameters of time-triggered protocols
- Solving linear constraints over real and rational fields
- Constructing invariants for hybrid systems
- Algorithms for solving linear equations over associative rings with unit element
- scientific article; zbMATH DE number 4213487 (Why is no real title available?)
- scientific article; zbMATH DE number 1975612 (Why is no real title available?)
- scientific article; zbMATH DE number 2090047 (Why is no real title available?)
- Analytic constraint solving and interval arithmetic
- Automated Reasoning
- Model-theoretic methods in combined constraint satisfiability
- Efficient and Safe Global Constraints for Handling Numerical Constraint Systems
- scientific article; zbMATH DE number 2247681 (Why is no real title available?)
- Solving existentially quantified constraints with one equality and arbitrarily many inequalities
- Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata
- Finite sequentiality of finitely ambiguous max-plus tree automata
- Modelling and system identification of uninhabited airship with a slung payload
- Finite sequentiality of finitely ambiguous max-plus tree automata
- Model completeness for rational trees
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
This page was built for publication: Solving numerical constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751364)
