Skip to main content Skip to search Skip to search

Open main menu Open profile menu

Welcome to 49th Shelf

Create lists · Enter giveaways · Write reviews · More!

New user? Create an account:

First name* Last name* Username* Password* Confirm Password* Email* Subscribe to The 49th Shelf newsletter Subscribe to the Read Canadian email alerts for weekly new release selections

Mathematics General

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

by (author) Holger H. Hoos

edited by David G. Mitchell

Publisher: Springer/Sci-Tech/Trade
Initial publish date: Jul 2005
Category: General, General

all formats (1)

Paperback / softback

ISBN

9783540278290

Publish Date

Jul 2005

List Price

$80.5

Add it to your shelf

Where to buy it

Amazon Indigo

Description

research and its industrial applications.

About the authors

Holger H. Hoos' profile page

David G. Mitchell's profile page

Description

About the authors

Other titles by

Military Cross, The