Publications

Minimal Sets over Monotone Predicates in Boolean Formulae

AuthID
P-008-CFJ

Author(s)

Silva, JM

Janota, M

Belov, A

Editor(s)

Sharygina,N;Veith,H

Document Type

Proceedings Paper

Year published

2013

Published

in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8044, Pages: 592-607

Conference

25Th International Conference on Computer Aided Verification, Cav 2013, Date: 13 July 2013 through 19 July 2013, Location: Saint Petersburg, Sponsors: University of Lugano;Vienna University of Technology;St. Petersburg State Polytechnical University;Russian Academy of Science;St. Petersburg Dep. of the Steklov Institute for Mathematics

Indexing