Solving and Sampling with Many Solutions - Research Collection

Metadata only

Autor(in)

Nummenpalo, Jerri

Datum

2020-05

Typ

Journal Article

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

https://doi.org/10.1007/s00453-019-00654-w

Zeitschrift / Serie

Algorithmica

Band

82(5)

Seiten / Artikelnummer

1474 - 1489

Verlag

Springer

Thema

SAT; CNF; Sampling; Parameterized

Organisationseinheit

03457 - Welzl, Emo / Welzl, Emo

Mehr

Alle Metadaten anzeigen

ETH Bibliographie

yes

Altmetrics