Handbook of Satisfiability View on Open Library

Handbook of Satisfiability

by Armin Biere , Hans van Maaren , Toby Walsh

No reviews yet
First published: 2009 1 language ISBN: 9781607503767
Subjects
Computers

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Armin Biere

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Constructio...

Computer Aided Verification

Computer Aided Verification

Hardware and Software: Verification and Testing

Hardware and Software: Verification and ...

Theory and applications of satisfiability testing -- SAT 2006

Theory and applications of satisfiabilit...

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Handbook of Satisfiability ...

Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen

Effiziente Modellprüfung des [mu]-Kalkül...

You Might Also Like

More in Computers
The Autobiography of Benjamin Franklin

The Autobiography of Benjamin Franklin

Benjamin Franklin
Financial audit

Financial audit

United States. General Accounting Office
Medea

Medea

Euripides
From Russia, with love

From Russia, with love

Ian Fleming
Reconfigurable Processor Array A Bit Sliced Parallel Computer (USA)

Reconfigurable Processor Array A Bit Sli...

A. Rushton
2001

2001

Arthur C. Clarke