There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-642-81957-5

ISBN (Electronic): 978-3-642-81955-1

Publication date (Print): 1983

DOI: 10.1007/978-3-642-81955-1

SO-VID: b12cb910-6fd3-4af1-b010-436c300dc6ac

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

DRAT Proofs, Propagation Redundancy, and Extended Resolution
Authors: Sam Buss, Neil Thapen
Predicting the satisfiability of Boolean formulas by incorporating gated recurrent unit (GRU) in the Transformer framework
Authors: Wenjing Chang, Mengyu Guo, Junwei Luo
Incremental SAT Library Integration Using Abstract Stobjs
Authors: Sol Swords

See all cited by

Automation of Reasoning

Read this book at