Theory and applications of satisfiability testing

View on Open Library

Theory and applications of satisfiability testing

by SAT 2007 (2007 Lisbon, Portugal)

No reviews yet

First published: 2007 1 language ISBN: 9783540727873

Subjects

Congresses Computer algorithms Propositional calculus Decision making Calculus Algebra, boolean Boolean Algebra

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Congresses

Manifest der Kommunistischen Partei

Manifest der Kommunistischen Partei

Karl Marx

Nicomachean Ethics

Nicomachean Ethics

Aristotle

Lord Jim

Joseph Conrad

[William Wheeler Hubbell, authorized to apply for patents.]

[William Wheeler Hubbell, authorized to ...

United States. Congress. Senate. Committee on Patents

Compleat angler

Compleat angler

Izaak Walton

The national union catalog

The national union catalog

Library of Congress