Handbook of SatisfiabilityArmin Biere

Handbook of Satisfiability

Armin Biere, Hans van Maaren, Toby Walsh · 2009

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2009
Language: English
Publisher: IOS Press, Incorporated
Editions: 1
Pages: 980
ISBN: 9781607503767

Data source: Wikidata

More by Armin Biere

Hardware and Software: Verification and TestingArmin Biere

Hardware and Software: Verification and Testing

Armin Biere · 2013

Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere · 2020

Computer Aided VerificationArmin Biere

Computer Aided Verification

Armin Biere · 2014

Handbook of Satisfiability Frontiers in Artificial Intelligence and ApplicationsArmin Biere

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Armin Biere · 2009

Theory and applications of satisfiability testing -- SAT 2006Armin Biere

Theory and applications of satisfiability testing -- SAT 2006

Armin Biere · 2006

Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere

Digitaltechnik - eine praxisnahe Einfu hrung

Armin Biere · 2008