Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions.

Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Vigan

Browse the full TIME paper archive.