Satisfiability Problem
American Mathematical Society, 1997
276,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780821804797
- ISBN-10
- 0821804790
- Publisher
- American Mathematical Society
- Year
- 1997
- Publication date
- 1997-12-30
- Pages
- 724
- Dimensions
- 184x258x39
- Weight
- 1510