Interpolant Strength Revisited

DOI10.1007/978-3-642-31612-8_24zbMath1273.03051DBLPconf/sat/Weissenbacher12OpenAlexW2099803041WikidataQ62040448 ScholiaQ62040448MaRDI QIDQ2843336

Georg Weissenbacher

Publication date: 12 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Interpolation, preservation, definability (03C40)

Related Items (2)

Labelled interpolation systems for hyper-resolution, clausal, and local proofs ⋮ Unnamed Item

This page was built for publication: Interpolant Strength Revisited