The following pages link to (Q2751364):
Displaying 10 items.
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations (Q1039847) (← links)
- Combinatorial method for solving systems of linear constraints (Q2263302) (← links)
- Using linear models in optimizing parameters of time-triggered protocols (Q2371697) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Algorithms for solving linear equations over associative rings with unit element (Q2668509) (← links)
- Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata (Q6154973) (← links)
- Finite sequentiality of finitely ambiguous max-plus tree automata (Q6614608) (← links)
- Modelling and system identification of uninhabited airship with a slung payload (Q6632454) (← links)
