A Multi-encoding Approach for LTL Symbolic Satisfiability Checking.

Kristin Y. Rozier, Moshe Y. Vardi

Browse the full FM paper archive.