Publicações

AuthID
P-00Q-VHH

Author(s)

Shrotri, A

Meel, KS

Editor(es)

Janota,M;Lynce,I

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, ISSN: 0302-9743

Volume: 11628, Páginas: 267-278 (12)

Conference

22Nd International Conference on Theory and Applications of Satisfiability Testing, Sat 2019, Date: 9 July 2019 through 12 July 2019

Indexing

Wos^®

Scopus^®

Crossref^®12

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-030-24258-9_19

SCOPUS: 2-s2.0-85069231125

Unpaywall: 10.1007/978-3-030-24258-9_19

Wos: WOS:000711399200019

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis