Skip to content
Same-day shipping9% off: code GIG9
BooksBajar.com
Cover of Theory and Applications of Satisfiability Testing - Sat 2007

Theory and Applications of Satisfiability Testing - Sat 2007

10th International Conference

by SAT 2007 (2007 Lisbon, Portugal)

Springer-Nature New York Inc · 2007 · Paperback

₹3,113

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–5 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns.
  • Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹2,833 for this book (save ₹280).

9% off every book, up to ₹500 off per order.

About this book

Topics covered include Congresses, Computer algorithms, Propositional calculus and Decision making.

Book details

ISBN-13
9783540727873
ISBN-10
3540727876
Authors
SAT 2007 (2007 Lisbon, Portugal)
Publisher
Springer-Nature New York Inc
Published
2007
Edition
2007 ed.
Binding
Paperback
Pages
384
Language
English
Condition
New
Subject
Computer algorithms

More in Computer algorithms