Boolean Decision Description