Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.].
2009
QA9.3 .H36 2009eb
Linked e-resources
Linked Resource
Details
Title
Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.].
ISBN
9781586039295
1586039296
1586039296
Publication Details
Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
Language
English
Description
xiii, 966 p. : ill.
Call Number
QA9.3 .H36 2009eb
Bibliography, etc. Note
Includes bibliographical references and indexes.
Access Note
Access limited to authorized users.
Added Author
Series
Frontiers in artificial intelligence and applications ; v. 185.
Linked Resources
Record Appears in