Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker.

Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato

Browse the full TIME paper archive.