Login / Signup
A General Equivalence Checking Framework for Multivalued Logic.
Chia-Chun Lin
Hsin-Ping Yen
Sheng-Hsiu Wei
Pei-Pei Chen
Yung-Chih Chen
Chun-Yao Wang
Published in:
ASP-DAC (2021)
Keyphrases
</>
main contribution
multi valued
logical framework
neural network
data mining
case study
relational databases
special case
probabilistic model
general theory
real time
artificial intelligence
web services
formal logic