[isabelle] New AFP entry: Boolean Expression Checkers

Boolean Expression Checkers
Tobias Nipkow

This entry provides executable checkers for the following properties of boolean
expressions: satisfiability, tautology and equivalence. Internally, the checkers
operate on binary decision trees and are reasonably efficient (for purely
functional algorithms).



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.