Eliminate Boolean Explosion by Enumerating States by Kyle Shevlin