- Start
- Satisfiability Problem
Satisfiability Problem
Angebote / Angebote:
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.
Fremdlagertitel. Lieferzeit unbestimmt