Antikvaari
Hae tuotteitaAsiakaspalveluLuo asiakastiliKirjaudu

Approaches to grid-based SAT solving

Antti E. J. Hyvärinen

Kirjasarja: TKK Reports in Information and Computer Science, osa 16

Ei tuotekuvaa

Kirjoita arvostelu

Tuote ei saatavilla

Approaches to grid-based SAT solving

Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!

Haetaan tuotteita...

Teosta "Approaches to grid-based SAT solving" ei välttämättä ole tällä hetkellä saatavilla Antikvaarista tai teoslistamme on vielä puutteellinen. Katsothan samankaltaiset tuotteet sekä alempaa löytyvät tuote-ehdotuksemme teokseen liittyen. Voit myös lisätä tämän teoksen toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotteita tulee saataville.

Samankaltaiset tuotteet

Haetaan...

Tiedot

Kustantaja/julkaisija

Helsinki University of Technology, Laboratory of Chemical Engineering

Sidosasu

ISBN

9512299429

9789512299423

Tuoteryhmät

Ei tiedossa

Kieli

englanti

Alkuperäinen nimi

-

Kirjasarja

TKK Reports in Information and Computer Science, osa 16

Aiheet

propositional satisfiability

SAT solving

computational grids

distributed search

multi-search