✦ LIBER ✦
Efficient, scalable hardware engine for Boolean satisfiability and unsatisfiable core extraction
✍ Scribed by Gulati, K.; Waghmode, M.; Khatri, S.P.; Shi, W.
- Book ID
- 117810002
- Publisher
- The Institution of Engineering and Technology
- Year
- 2008
- Tongue
- English
- Weight
- 621 KB
- Volume
- 2
- Category
- Article
- ISSN
- 1751-8601
No coin nor oath required. For personal study only.