CSP and Kripke Structures.

Ana Cavalcanti Wen-ling Huang Jan Peleska Jim 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