Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò 0001. Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. In Johann Gamper, Sophie Pinchinat, Guido Sciavicco, editors, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. Volume 147 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.