Login / Signup

Using OBDDs to Handle Dynamic Constraints.

Fabrice BouquetPhilippe Jégou
Published in: Inf. Process. Lett. (1997)
Keyphrases
  • dynamic constraints
  • temporal logic
  • model checking
  • functional dependencies
  • boolean functions
  • temporal dimension
  • relational model
  • active rules
  • data streams
  • mobile robot