Książka SAT 2005 Enrico Giunchiglia

SAT 2005

Satisfiability Research in the Year 2005

Język: Angielski
Oprawa: Miękka
Wydawca: Springer
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
634.56
This book covers recent progress in solving propositional satisfiability and related problems. Propo...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2014
strony
293
EAN
9789400787155
ISBN
9789400787155
Enbook ID
09160830
Wydawca
Waga
462
Wymiary
155 x 235 x 16

Pełny opis

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.§

Możesz być zainteresowany

Sarcoidosis

Darren Harper
825.38
300.82

Sanctuary

Matthew Mather
79.34

Mayhem

Harris
64.93
57.24

Athenaeum

Raul Pompeia
77.97

Scoring Off the Field

Kausik Bandyopadhyay
215.44
73.40

Little Women

Frank T. Merrill
172.12
47.89

Buddha Nature

Tina Draszcyk
54.41

Crawlers

Deacon Jones
60.16
83.13
103.29

Klienci, którzy kupili tę książkę, kupili również

Schnecken-Coaching

Eckhard vom Frieden
37.57
147.00

Vzpomínka na Zemi

Liou Cch´-Sin
34.46

Enderův stín

Orson Scott Card
51.10

Hegemonův stín

Orson Scott Card
51.10

Elan

OLALLA PONS
82.94
80.89

Maik - Der Heimweg

Michael Arnold
37.57
123.34
183.02
73.40

Trilby

George Du Maurier
66.39
11.38
102.51

Deutsche Direktinvestitionen

Fingerlos Uwe Rudolf
274.24