Publications

AuthID
P-00S-G7E

Author(s)

Editor(s)

Pulina,L;Seidl,M

Document Type

Proceedings Paper

Year published

2020

Published

in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 12178, Pages: 501-518 (18)

Conference

23Rd International Conference on Theory and Applications of Satisfiability Testing (Sat), Date: JUL 03-10, 2020, Location: ELECTR NETWORK

Indexing

Wos^®

Scopus^®

Crossref^®3

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-030-51825-7_35

DBLP: conf/sat/JanotaM20

SCOPUS: 2-s2.0-85088233601

Unpaywall: 10.1007/978-3-030-51825-7_35

Wos: WOS:000711645300035

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