2006
Paperback (26 Jul 2006)
Save $5.89
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006, held in Seattle, WA, USA as part of the 4th Federated Logic Conference, FLoC 2006. This book contains papers organized in topical sections on proofs and cores, heuristics and algorithms, and more.
| ISBN: | 9783540372066 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 26 Jul 2006 |
| Edition: | 2006 |
| DEWEY: | 511.3 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 438 |
| Weight: | 635g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 23mm |
Machine Learning
Hardback
Published 24 Aug 2012
$20.55off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $20.55
Acta Numerica 2024
Hardback
Published 07 Nov 2024
$6.95off
Moral AI
Hardback
Published 08 Feb 2024
Save $6.95
$8.85off
Topological Duality for Distrib...
Hardback
Published 07 Mar 2024
Save $8.85
$4.80off
Quantum Supremacy
Paperback
Published 02 May 2024
Save $4.80
$17.80off
The AI Delusion
Hardback
Published 23 Aug 2018
Save $17.80
$2.92off
As If Human
Hardback
Published 03 May 2024
Save $2.92
$5.09off
Hao Wang. Logician and Philosop...
Paperback
Published 02 Nov 2011
Save $5.09
Neural Networks
Paperback
Published 11 Mar 2024