Efficient Interpolant Generation in Satisfiability Modulo Theories

DOI10.1007/978-3-540-78800-3_30zbMath1134.68402OpenAlexW1499948164WikidataQ62041289 ScholiaQ62041289MaRDI QIDQ5458340

Could not fetch data.

Publication date: 11 April 2008

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_30

Mathematics Subject Classification ID

Could not fetch data.