Demonstrates a detailed realization of the general flow using satisfiability solvers

Includes a case study that presents the possibilities of the state-of-the-art approaches