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!

Cover Image

Handbook of satisfiability

Published 2009

NetLibrary
ebrary
An electronic book accessible through the World Wide Web; click for information
Click here to view book

Electronic eBook

Cover Image

Handbook of satisfiability

Published 2009

eBook