FREE Delivery in the UK.
In stock.
Dispatched from and sold by Amazon. Gift-wrap available.
Theory and Applications o... has been added to your Basket
+ £2.80 delivery
Used: Very Good | Details
Sold by rbmbooks
Condition: Used: Very Good
Comment: Ships from USA. Delivered in 10-12 business days. Money back guarantee!
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See all 2 images

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003 Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers (Lecture Notes in Computer Science) Paperback – 22 Feb 2009


See all formats and editions Hide other formats and editions
Amazon Price
New from Used from
Paperback
£81.00
£81.00 £63.54
Note: This item is eligible for click and collect. Details
Pick up your parcel at a time and place that suits you.
  • Choose from over 13,000 locations across the UK
  • Prime members get unlimited deliveries at no additional cost
How to order to an Amazon Pickup Location?
  1. Find your preferred location and add it to your address book
  2. Dispatch to this address when you check out
Learn more
click to open popover

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone

To get the free app, enter your mobile phone number.



Product details

  • Paperback: 544 pages
  • Publisher: Springer; 2004 edition (22 Feb. 2009)
  • Language: English
  • ISBN-10: 3540208518
  • ISBN-13: 978-3540208518
  • Product Dimensions: 15.5 x 3.1 x 23.5 cm
  • Average Customer Review: Be the first to review this item
  • Amazon Bestsellers Rank: 10,512,666 in Books (See Top 100 in Books)
  • Would you like to tell us about a lower price?
    If you are a seller for this product, would you like to suggest updates through seller support?

  • See Complete Table of Contents

Product description

Synopsis

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing, SAT 2003, held in Santa Margherita Ligure, Italy, in May 2003.The 33 revised full papers presented together with 5 articles reporting results of the related SAT competition and QBF evaluation were carefully selected during two rounds of reviewing and improvement from 67 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.


Customer reviews

There are no customer reviews yet.
Share your thoughts with other customers

Where's My Stuff?

Delivery and Returns

Need Help?