Satisfiability Problem
Theory and Applications
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. This book features the application of theoretical/algorithmic results to practical problems and presents practical problems for theoretical/algorithmic study. It also includes a spectrum of algorithmic issues and applications.
CHF 265.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Gu, Jun (Hrsg.) / Pardalos, P. M. (Hrsg.)
- ISBN: 978-0-8218-0479-7
- EAN: 9780821804797
- Produktnummer: 23378864
- Verlag: American Mathematical Society
- Sprache: Englisch
- Erscheinungsjahr: 1997
- Seitenangabe: 724 S.
- Masse: H18.4 cm x B25.8 cm x D3.9 cm 1'510 g
- Gewicht: 1510
- Sonstiges: Professional & Vocational
61 weitere Werke von Ding-Zhu (Hrsg.) Du:
Algorithmic Aspects in Information and Management
Theory and Applications
Theory and Applications
Ebook (PDF Format)
CHF 78.00
Theory and Applications of Models of Computation
Theory and Applications
Theory and Applications
Ebook (PDF Format)
CHF 124.00
Wireless Algorithms, Systems, and Applications
Theory and Applications
Theory and Applications
Ebook (PDF Format)
CHF 140.00
Algorithmic Aspects in Information and Management
Theory and Applications
Theory and Applications
Ebook (PDF Format)
CHF 106.50
Wireless Algorithms, Systems, and Applications
Theory and Applications
Theory and Applications
Ebook (PDF Format)
CHF 133.50
Algorithmic Aspects in Information and Management
Theory and Applications
Theory and Applications
Ebook (PDF Format)
CHF 78.00
Bewertungen
Anmelden