Go to the corresponding LIPIcs Volume Portal |
Geatti, Luca ; Gigante, Nicola ; Montanari, Angelo ; Venturato, Gabriele
pdf-format: |
|
@InProceedings{geatti_et_al:LIPIcs.TIME.2021.8, author = {Geatti, Luca and Gigante, Nicola and Montanari, Angelo and Venturato, Gabriele}, title = {{Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker}}, booktitle = {28th International Symposium on Temporal Representation and Reasoning (TIME 2021)}, pages = {8:1--8:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-206-8}, ISSN = {1868-8969}, year = {2021}, volume = {206}, editor = {Combi, Carlo and Eder, Johann and Reynolds, Mark}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2021/14784}, URN = {urn:nbn:de:0030-drops-147846}, doi = {10.4230/LIPIcs.TIME.2021.8}, annote = {Keywords: SAT, LTL, LTL+Past, Tableaux} }
Keywords: | SAT, LTL, LTL+Past, Tableaux | |
Collection: | 28th International Symposium on Temporal Representation and Reasoning (TIME 2021) | |
Issue Date: | 2021 | |
Date of publication: | 16.09.2021 |