×

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 arXiv