About this document
Model Checking Exercise Sheet 10 Solutions by Coping Forever is a document available to read on EtoBox.
This document provides a sample solution to an exercise on Boolean function representation using ROBDDs (reduced ordered binary decision diagrams). The exercise asks students to (a) construct the ROBDD for a given function under a new variable ordering, and (b) represent the function as a propositional formula. The sample solution (a) constructs the new ROBDD by swapping variables and reducing isomorphic subtrees, and (b) represents the function as a formula using disjunctions of conjunctions of literal
- Author
- Coping Forever
- Language
- EN