Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications View on Open Library

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

by Armin Biere

No reviews yet
First published: 2009 1 language ISBN: 9781586039295
Subjects
Computer algorithms Propositional calculus Congresses Decision making Boolean Algebra Algorithmus Anwendung Berechnungskomplexität Erfüllbarkeitsproblem Artificial intelligence

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

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 Computer algorithms
Prey

Prey

Michael Crichton
Computer Networks

Computer Networks

Andrew S. Tanenbaum
Artificial intelligence

Artificial intelligence

Stuart J. Russell
Pattern Recognition

Pattern Recognition

Cheng-Lin Liu
Advances in Swarm Intelligence

Advances in Swarm Intelligence

Ying Tan
JavaScript

JavaScript

David Flanagan