✦ LIBER ✦
[Lecture Notes in Computer Science] Automated Deduction—CADE-18 Volume 2392 || A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
✍ Scribed by Voronkov, Andrei
- Book ID
- 120639473
- Publisher
- Springer Berlin Heidelberg
- Year
- 2002
- Weight
- 274 KB
- Category
- Article
- ISBN
- 3540456201
No coin nor oath required. For personal study only.