𝔖 Bobbio Scriptorium
✦   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.