Theory and Applications of Satisfiability Testing

Type: Physical Book

Language: English

Pages: 492

Release Date: 2005-06-02

ISBN 10: 3540316795

ISBN 13: 9783540316794

Country: United Kingdom of Great Britain and Northern Ireland