C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Model Abstraction for Discrete-Event Systems Using a SAT Solver.
Lihong Cheng
Lei Feng
Published in:
IEEE Access (2023)
Keyphrases
</>
model based diagnosis
discrete event systems
constraint programming
lower bound
mathematical model
constraint satisfaction