Publicações

Mcs Extraction with Sublinear Oracle Queries

AuthID
P-00K-MPC

Author(s)

Mencía, C

Ignatiev, A

Previti, A

Silva, JM

Editor(es)

Creignou,N;Berre,DL

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9710, Páginas: 342-360

Conference

19Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2016, Date: 5 July 2016 through 8 July 2016

Indexing

Scopus^®

Dblp^®/pt/publications/view/643788

Crossref^®

Unpaywall^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-319-40970-2_21

DBLP: conf/sat/MenciaIPM16

SCOPUS: 2-s2.0-84977547539

Unpaywall: 10.1007/978-3-319-40970-2_21

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Mcs Extraction with Sublinear Oracle Queries

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Mcs Extraction with Sublinear Oracle Queries

Links Úteis

Ajuda