Sign in

Modeling and Verifying TESAC Using CSP.

Dongzhen SunHuibiao ZhuYuan FeiLili XiaoGang LuJiaqi Yin
Published in: SEKE (2019)
Keyphrases
  • constraint satisfaction problems
  • data sets
  • decision making
  • expert systems
  • probabilistic model
  • constraint satisfaction
  • constraint propagation
  • modeling method
  • modeling framework
  • decomposition methods