Sign in

Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories.

Yuanfei LinMatthias Althoff
Published in: IV (2022)
Keyphrases
  • satisfiability modulo theories
  • modulo theories
  • association rules
  • np hard
  • answer set programming
  • temporal logic