Publicações

Minimal Sets over Monotone Predicates in Boolean Formulae

AuthID
P-008-CFJ

Author(s)

Silva, JM

Janota, M

Belov, A

Editor(es)

Sharygina,N;Veith,H

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

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, Páginas: 592-607

Conference

25Th International Conference on Computer Aided Verification, Cav 2013, Date: 13 July 2013 through 19 July 2013, Location: Saint Petersburg, Patrocinadores: 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