Many interesting problems in computer science can be modelled using Boolean expressions. In formal verification for example, a common task is to determine whether a given model of a system satisfies some properties supposed to hold for the system. Such problems are often modelled as transition systems over Boolean variables, and thus a computer-aided solution requires some efficient techniques for manipulating Boolean expressions. Reduce
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.