Towards Conflict-Driven Learning for Virtual Substitution

DOI10.1007/978-3-319-10515-4_19zbMath1416.68166OpenAlexW1592025780MaRDI QIDQ2879330

Marek Koša, Thomas Sturm, Konstantin Korovin

Publication date: 8 September 2014

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL: http://ceur-ws.org/Vol-1163/paper-13.pdf

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints ⋮ The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints

Uses Software

• REDLOG

This page was built for publication: Towards Conflict-Driven Learning for Virtual Substitution