Login / Signup

Treewidth in Verification: Local vs. Global.

Andrea FerraraGuoqiang PanMoshe Y. Vardi
Published in: LPAR (2005)
Keyphrases
  • model checking
  • artificial intelligence
  • website
  • global information
  • neural network
  • space complexity