MANIAC: BDD Manipulation for Approximate Computing

MANIAC项目旨在改进基于二进制决策图（bdd）的近似计算算法。bdd为布尔函数提供了一种紧凑的表示，并在解决各种问题中得到了应用。该项目研究了bdd如何从理论和实践的角度来表示近似。该项目提出了基于该原理的几种算法。开源软件和基准平台将在项目结束时将研究成果结合起来，作为未来研究的纽带。

The MANIAC project aims at improving algorithms for approximate computing based on Binary Decision Diagrams (BDDs). BDDs provide a compact representation for Boolean functions and find application in solving a variety of problems. The project investigates how BDDs can represent approximation from both a theoretical and a practical point of view. The project proposes several algorithms based on this principle. Open source software and benchmark platforms will combine the research effort at the end of the project as link for future research.