Grid based propositional satisfiability solving
Grid based propositional satisfiability solving
Tallennettuna:
| Ulkoasu |
99, [95] sivua : kuvitettu ; 25 cm Yhteenveto-osa julkaistu myös verkkoaineistona ISBN 978-952-60-4368-5 (PDF) |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Tiivistelmän kieli |
suomi |
| Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta. |
| Julkaisija |
[Espoo] :
Aalto University, School of Science,
2011
|
| Opinnäyte | Väitöskirja : Espoo : Aalto-yliopiston perustieteiden korkeakoulu |
| Sarja | Aalto University publication series, Doctoral dissertations, ISSN 1799-4934; 118/2011. |
| Luokitus | |
| Aiheet | |
| Valmistaja | (Helsinki : Aalto Print) |
| Lisätiedot | Antti E. J. Hyvärinen |
| ISBN |
978-952-60-4367-8 nidottu |
| Standardinumero |
AALTO-DD-118/2011 |
| Hae kokoteksti | |