FEEDBACK Smiley face
Handbook of satisfiability by Armin Biere ...[et al]. - Amsterdam : IOS Press, ©2009 - xiii, 966 p. ; 25cm.

Includes bibliographical references and index

9781586039295


Mathematics
Decision making
Algebra, Boolean
Propositional calculus
Computer algorithms

511.3 / BIE-H

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in