Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

Handbook of Satisfiability

Volume 185 Frontiers in Artificial Intelligence and Applications

By
A. Biere
A. Biere
2009 • 980 pages
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

Publisher: IOS Press

Type: Physical Book

Language: English

Pages: 980

Release Date: 2009-01-01

ISBN 10: 1586039296

ISBN 13: 9781586039295

Country: United States of America