Sign in

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

Matteo ZavatteriCarlo CombiRomeo RizziLuca Viganò
Published in: TIME (2019)
Keyphrases
  • consistency checking
  • simple temporal
  • temporal constraints
  • orders of magnitude
  • database
  • computational complexity
  • mobile robot