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

Theory and applications of satisfiability testing -- SAT 2006

Armin Biere · 2006

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: 2006
Language: English
Publisher: Springer
Editions: 2
Pages: 438
ISBN: 9783540372066

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

Handbook of SatisfiabilityArmin Biere

Handbook of Satisfiability

Armin Biere · 2009

Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere

Digitaltechnik - eine praxisnahe Einfu hrung

Armin Biere · 2008