Skip to content

Theory And Applications Of Satisfiability Testing
Stock Photo: Cover May Be Different

Theory And Applications Of Satisfiability Testing Paperback - 2005

by Holger H. Hoos (Editor); David G. Mitchell (Editor)

  • New

Description

New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
New
NZ$116.66
NZ$8.31 Shipping to USA
Standard delivery: 7 to 14 days
More Shipping Options
Ships from Students Textbooks (India)

Details

  • Title Theory And Applications Of Satisfiability Testing
  • Binding Paperback
  • Edition 1st
  • Condition New
  • Pages 393
  • Volumes 1
  • Language ENG
  • Publisher Springer, Secaucus, New Jersey, U.S.A.
  • Date 2005-07-08
  • Bookseller's Inventory # BIBR-227244
  • ISBN 9783540278290 / 354027829X
  • Weight 1.27 lbs (0.58 kg)
  • Dimensions 9.21 x 6.14 x 0.84 in (23.39 x 15.60 x 2.13 cm)
  • Dewey Decimal Code 511.3

About Students Textbooks India

Biblio member since 2009
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

Selling textbooks, International editions and reference books online from last 5 Years.

Terms of Sale:

30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged. Return address: Students_Textbooks 12 phankha road Jankpuri New Delhi 110036 India

Browse books from Students Textbooks

First line

In the last few years, the AI community has investigated the generic problem solving approach which consists of modeling hard combinatorial problems as instances of the propositional satisfiability problem (SAT) and then solving the resulting encodings with algorithms for SAT.