JOIN / SIGN IN

Welcome to Hatchards Rewards

Earn a Rewards Stamp for every £10 you spend in our shops or online*

Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance

Spend your Rewards Balance in our shops or online, with no minimum redemption*

*Exclusions apply, see full T&Cs for details.

Learn More

Non-Fiction, Computing & Internet

SAT-2000

I. Gent (editor), Toby Walsh (editor), Hans van Maaren (editor)

Hardback Published on: 15/05/2006

£100

No reviews yet, be the first

Free UK delivery on orders over £25

Not available
This product is currently unavailable

Make and edit your lists in your account

No stock available in any shop.

Not available
This product is currently unavailable

No stock available in any shop.

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.