An edition of Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications (2009)

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

by

Cover of: Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications by Armin Biere
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
March 28, 2025 | History
Edit
An edition of Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications (2009)

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
IOS Press, Brand: IOS Press
Pages
980

Check nearby libraries

Buy this book

Subjects

Computer algorithms, Propositional calculus, Congresses, Decision making, Boolean Algebra, Algorithmus, Anwendung, Berechnungskomplexität, Erfüllbarkeitsproblem
Edition Availability
Cover of: Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
2009, IOS Press, Brand: IOS Press

Add another edition?

Book Details

Classifications

Library of Congress
QA9.3 .H36 2009

Edition Identifiers

Open Library
OL26185402M
ISBN 13
9781586039295
LCCN
2008942733

Work Identifiers

Work ID
OL17582243W

Source records

Internet Archive item record
Library of Congress MARC record
amazon.com record
ISBNdb

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
December 20, 2023 Edited by ImportBot import existing book
February 10, 2023 Edited by ImportBot import existing book
December 22, 2020 Edited by MARC Bot import existing book
October 19, 2016 Created by Mek Added new book.