scientific article

zbMath1011.68127MaRDI QIDQ2751364

Volker Weispfenning, Alexander Bockmayr

Publication date: 27 August 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated reasoningnumerical constraint solving

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Using linear models in optimizing parameters of time-triggered protocols ⋮ M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures ⋮ Algorithms for solving linear equations over associative rings with unit element ⋮ Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata ⋮ Constructing invariants for hybrid systems ⋮ Combinatorial method for solving systems of linear constraints ⋮ Model-theoretic methods in combined constraint satisfiability ⋮ Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations