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. 336）

IOS Press, c2021

2nd ed

• pt. 1

Note

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

Includes bibliographical references

Details

• NCID: BC08825451
• ISBN:
  • 9781643681603
• LCCN: 2021931050
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: xvii, 736 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.3
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Propositional calculus -- Congresses
  • LCSH : Decision making -- Congresses
  • LCSH : Computer algorithms -- Congresses
  • LCSH : Algebra, Boolean -- Congresses
  • LCSH : Propositional calculus
  • LCSH : Decision making
  • LCSH : Computer algorithms
  • LCSH : Algebra, Boolean
  • FREE : Algebra, Boolean. fast (OCoLC)fst00804924
  • FREE : Computer algorithms. fast (OCoLC)fst00872010
  • FREE : Decision making. fast (OCoLC)fst00889035
  • FREE : Propositional calculus. fast (OCoLC)fst01079271
• Parent Bibliography ID:
  • BA11770513