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 Chapter

Publication date (Print): 1997

Publication date (Online): June 8 2005

Pages: 272-275

DOI: 10.1007/3-540-63104-6_28

SO-VID: ed14efd3-0cd6-4e7d-aa84-ffce8abbad6b

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 38

Learning action models from plan examples using weighted MAX-SAT
Authors: Yunfei Jiang, Kangheng Wu, Qiang Yang
A survey of recent advances in SAT-based formal verification
Authors: Armin Biere, Mukul Prasad, Aarti Gupta
Theorem Proving Using Lazy Proof Explication
Authors: Cormac Flanagan, Rajeev Joshi, Xinming Ou …

See all cited by

SATO: An efficient propositional prover

Read this book at