Solving Constraint Optimization Problems Based on Mathematica and Abstraction

von Pan, Guoteng
Veröffentlicht in SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method (2020)

Directory Controller Verification Based on Genetic Algorithm

von Luo, Li
Veröffentlicht in ACA (13. : 2020 : Kun ming) Advanced computer architecture (2020)