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

Matteo Zavatteri Carlo Combi Romeo Rizzi Luca Viganò

Published in: TIME (2019)

Keyphrases

consistency checking
simple temporal
temporal constraints
orders of magnitude
database
computational complexity
mobile robot