Publication:4808717
From MaRDI portal
zbMath1072.68607MaRDI QIDQ4808717
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2385/23850181.htm
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Language-Based Abstraction Refinement for Hybrid System Verification, A class of problems that can be solved using interval algorithms, Quantifier elimination supported proofs in the numerical treatment of fluid flows, Quantified constraints under perturbation, Quasi-decidability of a fragment of the first-order theory of real numbers, On a decision procedure for quantified linear programs