Handbook of satisfiability

著者

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

書誌事項

Handbook of satisfiability

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

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

IOS Press, c2021

2nd ed

• pt. 1

注記

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

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BC08825451
• ISBN:
  • 9781643681603
• LCCN: 2021931050
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: xvii, 736 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9.3
  • DC23 : 511.3
• 件名:
  • 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
• 親書誌ID:
  • BA11770513