On Propositional Qbf Expansions and Q-Resolution

AuthID
P-00M-WGV
2
Author(s)
Tipo de Documento
Unpublished
Year published
2013
Publicado
in Electronic Colloquium on Computational Complexity (ECCC)
Volume: 20, Páginas: 97
Indexing
Publication Identifiers
DBLP: journals/eccc/JanotaM13
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.