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

Sat2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications) Hardcover – 1 Jan 2000


See all formats and editions Hide other formats and editions
Amazon Price
New from Used from
Hardcover
£30.00 £65.00
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

  • Hardcover: 568 pages
  • Publisher: IOS Press,US (1 Jan. 2000)
  • Language: English
  • ISBN-10: 1586030612
  • ISBN-13: 978-1586030612
  • Product Dimensions: 17.1 x 3.8 x 24.8 cm
  • Average Customer Review: Be the first to review this item
  • Amazon Bestsellers Rank: 7,331,815 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?

Product description

Synopsis

The book is devoted to various disciplines in satisfiability research and aims to give the reader an impression of the state of the art of this research in the year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications and extensions beyond propositional SAT.

From the Inside Flap

"The book is devoted to various disciplines in Satisfiability research and aims to give the reader an impression of the state of the art of this research in the Year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications, and extensions beyond propositional SAT.SAT 2000Highlights of Satisfiability Research in the Year 2000."


Customer reviews

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

Where's My Stuff?

Delivery and Returns

Need Help?