Efficient Generation of Small Interpolants in CNF

DOI10.1007/978-3-642-39799-8_23zbMath1341.68120OpenAlexW2285587265MaRDI QIDQ2864838

Yakir Vizel, Alexander Nadel, Vadim Ryvchin

Publication date: 26 November 2013

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39799-8_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Labelled interpolation systems for hyper-resolution, clausal, and local proofs ⋮ Optimization techniques for Craig interpolant compaction in unbounded model checking ⋮ Efficient generation of small interpolants in CNF

This page was built for publication: Efficient Generation of Small Interpolants in CNF