Bibliographic Information

Handbook of satisfiability

edited by Armin Biere ... [et al.]

(Frontiers in artificial intelligence and applications, v. 185)

IOS Press, c2009

Available at  / 26 libraries

Search this Book/Journal

Note

Other editors: Marijn Biere, Hans van Maaren, Toby Walsh

Includes bibliographical references and indexes

Related Books: 1-1 of 1

Details

Page Top