Login / Signup

Complexity Classification of Truth Maintenance Systems.

Vladislav Rutenburg
Published in: STACS (1991)
Keyphrases
  • truth maintenance systems
  • classification algorithm
  • temporal reasoning
  • constraint propagation