Publications

Parallel Mus Extraction

AuthID
P-008-BVH

Author(s)

Belov, A

Manthey, N

Silva, JM

Editor(s)

Järvisalo,M;Gelder,AV

Document Type

Proceedings Paper

Year published

2013

Published

in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7962, Pages: 133-149

Conference

16Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2013, Date: 8 July 2013 through 12 July 2013, Location: Helsinki

Indexing