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]
@inproceedings{GeattiGMV21,
title = {Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker},
author = {Luca Geatti and Nicola Gigante and Angelo Montanari and Gabriele Venturato},
year = {2021},
doi = {10.4230/LIPIcs.TIME.2021.8},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.8},
researchr = {https://researchr.org/publication/GeattiGMV21},
cites = {0},
citedby = {0},
booktitle = {28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria},
editor = {Carlo Combi and Johann Eder and Mark Reynolds 0001},
volume = {206},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-206-8},
}