3549:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. This work features the applications of theoretical/algorithmic results to practical problems and presents practical examples for theoretical/algoritmic study.
- Format: Inbunden
- ISBN: 9780821804797
- Språk: Engelska
- Antal sidor: 724
- Utgivningsdatum: 1998-02-01
- Förlag: American Mathematical Society