Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato. Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. In Carlo Combi, Johann Eder, Mark Reynolds 0001, editors, 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. Volume 206 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.