Generalized Affine Equivalence Checking of Boolean Functions via Reachability Analysis.
Xiao ZengHuijun LiangJun YuanXiaoyu SongGuowu YangPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- boolean functions
- reachability analysis
- markov decision processes
- model checking
- uniform distribution
- timed automata
- threshold functions
- incremental algorithms
- relevant variables
- prime implicants
- dnf formulae
- membership queries
- multi valued
- read once formulas
- linear threshold
- functional properties
- binary decision diagrams
- temporal logic
- rough sets
- polynomial size
- disjunctive normal form
- functional dependencies
- integrity constraints