Handbook of satisfiability

Author(s)

• Biere, Armin
• Heule, Marijn
• Maaren, Hans van
• Walsh, Toby

Bibliographic Information

Handbook of satisfiability

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

（Frontiers in artificial intelligence and applications, v. 185）

IOS Press, c2009

Note

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

Includes bibliographical references and indexes

Details

• NCID: BA89161568
• ISBN:
  • 9781586039295
• LCCN: 2008942733
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: xiii, 966 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.3
• Subject Headings:
  • LCSH : Propositional calculus -- Congresses
  • LCSH : Decision making -- Congresses
  • LCSH : Computer algorithms -- Congresses
  • LCSH : Algebra, Boolean -- Congresses
• Parent Bibliography ID:
  • BA11770513