Publicações

Community-Based Partitioning for Maxsat Solving

AuthID
P-008-BTQ

Author(s)

Martins, R

Manquinho, V

Lynce, I

Editor(es)

Järvisalo,M;Gelder,AV

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

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, Páginas: 182-191

Conference

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

Indexing