Publication

Back to overview

A Proof-Sensitive Approach for Small Propositional Interpolants

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Publication date 2016
Project Harnessing Parallel Computing for Model Checking
Show all

Proceedings (peer-reviewed)

Title of proceedings VSTTE 2015
DOI 10.1007/978-3-319-29613-5_1

-