Menu
Află starea comenzii
Contactați-ne
Carte SAT 2005 Enrico Giunchiglia

SAT 2005

Satisfiability Research in the Year 2005

Autor: Enrico Giunchiglia, Toby Walsh
Limbă: engleză
Legare: Copertă tare
Editura: Springer-Verlag New York Inc.
Disponibilitate: În depozitul extern în cantități mici
Expediem în 11-15 zile
893.22 lei
This book covers recent progress in solving propositional satisfiability and related problems. Propo...

Informații despre carte

Autor
Enrico Giunchiglia, Toby Walsh
Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2006
Pagini
293
EAN
9781402045523
ISBN
1402045522
Enbook ID
02120471
Editura
Springer-Verlag New York Inc.
Greutate
1320
Dimensiuni
155 x 235 x 25

Descriere completă

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.§

S-ar putea să te intereseze

Faking Nature

Robert Elliott
327.91 lei