Info
References
When publishing results obtained by BoolTool, please refer to:
- Fišer, P. - Toman, D.: BoolTool: A Tool for Manipulation of Boolean Functions, Proc. 8th Int. Workshop on Boolean Problems (IWSBP'08), Freiberg, Germany, 18.-19.9.2008, pp. 109-114