Publications

Mcs Extraction with Sublinear Oracle Queries

AuthID
P-00K-MPC

Author(s)

Mencía, C

Ignatiev, A

Previti, A

Silva, JM

Editor(s)

Creignou,N;Berre,DL

Document Type

Proceedings Paper

Year published

2016

Published

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, Pages: 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^®/en/publications/view/643788

Crossref^®

Unpaywall^®

Google Scholar^®

Metadata
Sources

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

Marked List

Add to Marked List

Info

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

Mcs Extraction with Sublinear Oracle Queries

Useful Links

Get Help

Federated Authentication (Click on the image)

Mcs Extraction with Sublinear Oracle Queries

Useful Links

Get Help