Publisher's Synopsis
Theory and Applications of Satisfiability Testing - SAT 2021
Supremacy
Hardback
Published 12 Sep 2024
Save $8.74
- RRP $30.08
- $21.34
Theory and Applications of Satisfiability Testing - SAT 2021 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Paperback (09 Jul 2021)
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783030802240 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 09 Jul 2021 |
| Language: | English |
| Number of pages: | 578 |
| Weight: | 801g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
AI Snake Oil
Hardback
Published 24 Sep 2024
- $27.73
$5.32off
The Singularity Is Nearer
Hardback
Published 27 Jun 2024
Save $5.32
- RRP $34.18
- $28.86
$7.77off
Why Machines Learn
Hardback
Published 16 Jul 2024
Save $7.77
- RRP $41.02
- $33.25
$2.54off
Co-Intelligence
Paperback
Published 04 Apr 2024
Save $2.54
- RRP $23.23
- $20.69
$7.42off
ChatGPT and the Future of AI
Paperback
Published 07 Oct 2024
Save $7.42
- RRP $28.71
- $21.29
Virtual Society
Paperback
Published 05 Oct 2023
- $15.15
$43.78off
Empowering the Public Sector Wi...
Paperback
Published 28 Jul 2024
Save $43.78
- RRP $61.51
- $17.73
$8.38off
Sketching in Human-Computer Int...
Paperback
Published 20 Nov 2024
Save $8.38
- RRP $68.35
- $59.97