Modeling and Verifying TESAC Using CSP.

Dongzhen Sun Huibiao Zhu Yuan Fei Lili Xiao Gang Lu Jiaqi 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