Publications

AuthID
P-00Q-VHB

Author(s)

Bonet, ML

Buss, S

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: 239-249 (11)

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^®2

Unpaywall^®

Google Scholar^®

Publication Identifiers

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

Scopus: 2-s2.0-85069228328

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

Wos: WOS:000711399200017

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