Publicações

AuthID
P-00X-Z5F

Author(s)

Editor(es)

Li,CM;Manya,F

Tipo de Documento

Proceedings Paper

Year published

2021

Publicado

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

Volume: 12831, Páginas: 251-269 (19)

Indexing

Wos^®

Scopus^®

Crossref^®1

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-030-80223-3_18

SCOPUS: 2-s2.0-85112157588

Unpaywall: 10.1007/978-3-030-80223-3_18

Wos: WOS:000709570900018

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