Publications

AuthID
P-00Q-VHH

Author(s)

Shrotri, A

Meel, KS

Editor(s)

Janota,M;Lynce,I

Document Type

Proceedings Paper

Year published

2019

Published

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

Volume: 11628, Pages: 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

Marked List

Info

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

Useful Links