Telecharger Cours

Knowledge Compilation and Theory Approximation

Following the formal definition of Horn approximation, we present algorithms for generat- ing such approximations. The algorithms have the property that they ...



Download