Optimizing a BDD-Based Modal Solver.

Guoqiang Pan, Moshe Y. Vardi

Browse the full CADE paper archive.