Cover Image

Handbook of satisfiability

Show other versions (2)
Saved in:
Bibliographic Details
Other Authors: Biere, Armin
Format: eBook
Language:English
Published: Amsterdam IOS Press c2009
Series:Frontiers in artificial intelligence and applications ; v. 185.
Subjects:
Propositional calculus > Congresses.
Decision making > Congresses.
Computer algorithms > Congresses.
Algebra, Boolean > Congresses.
Electronic books.
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items