Manipulation of Boolean Functions based on Hybrid Data Structures

In the project the combination of classical methods to robust hybrid solvers as well as their extension is to a higher abstraction level is examined and experimentally evaluated.

Contact: Prof. Dr. Rolf Drechsler

Detailed description is only available in german.