Sat2000

Sat2000 : Highlights of Satisfiability Research in the Year 2000

Edited by  , Edited by  , Edited by 

List price: US$116.01

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

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.show more

Product details

  • Hardback | 568 pages
  • 167.6 x 241.3 x 35.6mm | 1,133.99g
  • IOS Press
  • IOS Press,US
  • Amsterdam, United States
  • English
  • 1586030612
  • 9781586030612