Publications

AuthID
P-008-56W

Author(s)

Heras, F

Document Type

Proceedings Paper

Year published

2012

Published

in SAT, ISSN: 03029743

Volume: 7317 LNCS, Pages: 284-297 (13)

Indexing

Scopus^®

Crossref^®23

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-642-31612-8_22

Dblp: conf/sat/MorgadoHM12

Scopus: 2-s2.0-84864262451

Unpaywall: 10.1007/978-3-642-31612-8_22

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Marked List

Info

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

Useful Links