Publicações

Sat-Based Horn Least Upper Bounds

AuthID
P-00K-Y1Y

Author(s)

Mencía, C

Previti, A

Silva, JM

Editor(es)

Heule,M;Weaver,S

Tipo de Documento

Proceedings Paper

Year published

2015

Publicado

in Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9340, Páginas: 423-433

Indexing

Dblp^®/pt/publications/view/653374

Crossref^®

Unpaywall^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-319-24318-4_30

DBLP: conf/sat/MenciaPM15

Unpaywall: 10.1007/978-3-319-24318-4_30

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.

Sat-Based Horn Least Upper Bounds

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Sat-Based Horn Least Upper Bounds

Links Úteis

Ajuda