Parallel Maximum Satisfiability

AuthID
P-00P-NZT
3
Author(s)
Manquinho, V
·
Martins, R
2
Editor(s)
Hamadi,Y;Sais,L
Document Type
Book Chapter
Year published
2018
Published
in Handbook of Parallel Constraint Reasoning.
Pages: 61-99
Indexing
Publication Identifiers
Dblp: books/sp/18/LynceMM18
Scopus: 2-s2.0-85053999789
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.