Opt Int
version (prime implicants approximation)
use OBDD (not efficient)
better approximation
slightly better