✦ LIBER ✦
F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers
✍ Scribed by N. V. Shilov
- Book ID
- 115064568
- Publisher
- Allerton Press Inc
- Year
- 2011
- Tongue
- English
- Weight
- 155 KB
- Volume
- 45
- Category
- Article
- ISSN
- 0146-4116
No coin nor oath required. For personal study only.