Handbook of satisfiability
Author(s)
Bibliographic Information
Handbook of satisfiability
(Frontiers in artificial intelligence and applications, v. 185)
IOS Press, c2009
Available at / 26 libraries
-
No Libraries matched.
- Remove all filters.
Note
Other editors: Marijn Biere, Hans van Maaren, Toby Walsh
Includes bibliographical references and indexes