×

zbMATH — the first resource for mathematics

Incomplete SMT techniques for solving non-linear formulas over the integers. (English) Zbl 1433.68405
MSC:
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68R07 Computational aspects of satisfiability
PDF BibTeX XML Cite
Full Text: DOI