Publisher's Synopsis
Theory and Applications of Satisfiability Testing - SAT 2014
Supremacy
Hardback
Published 12 Sep 2024
Save $8.66
- RRP $29.86
- $21.20
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Paperback (27 Jul 2014)
Not available for sale
Out of stock
Check stock
Book information
| ISBN: | 9783319092850 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 27 Jul 2014 |
| Language: | English |
| Number of pages: | 476 |
| Weight: | 663g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$3.76off
AI Snake Oil
Hardback
Published 24 Sep 2024
Save $3.76
- RRP $27.14
- $23.38
$5.28off
The Singularity Is Nearer
Hardback
Published 27 Jun 2024
Save $5.28
- RRP $33.93
- $28.65
$7.71off
Why Machines Learn
Hardback
Published 16 Jul 2024
Save $7.71
- RRP $40.72
- $33.01
$2.53off
Co-Intelligence
Paperback
Published 04 Apr 2024
Save $2.53
- RRP $23.06
- $20.53
$7.26off
ChatGPT and the Future of AI
Paperback
Published 07 Oct 2024
Save $7.26
- RRP $28.50
- $21.24
Virtual Society
Paperback
Published 05 Oct 2023
- $15.04
$43.46off
Empowering the Public Sector Wi...
Paperback
Published 28 Jul 2024
Save $43.46
- RRP $61.06
- $17.60
$8.32off
Sketching in Human-Computer Int...
Paperback
Published 20 Nov 2024
Save $8.32
- RRP $67.85
- $59.53