×

zbMATH — the first resource for mathematics

Efficient solving of quantified inequality constraints over the real numbers. (English) Zbl 1367.68270

MSC:
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
03B70 Logic in computer science
Software:
RSOLVER
PDF BibTeX XML Cite
Full Text: DOI