Login / Signup

Modeling and Verifying AUPS Using CSP.

Hongqin ZhangHuibiao ZhuJiaqi YinNingning Chen
Published in: SEKE (2022)
Keyphrases
  • databases
  • constraint satisfaction
  • modeling method
  • database
  • data sets
  • neural network
  • real world
  • constraint satisfaction problems
  • model checking
  • constraint propagation
  • constraint networks