Sign in

CSP and Kripke Structures.

Ana CavalcantiWen-ling HuangJan PeleskaJim Woodcock
Published in: ICTAC (2015)
Keyphrases
  • constraint satisfaction problems
  • desirable properties
  • real world
  • np complete
  • temporal logic
  • modal logic
  • inference rules
  • artificial intelligence
  • decomposition methods
  • tree decomposition