Personensuche
X
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
3
Expediting Neural Network Verification via Network Reductio:
, In:
?
2021 International Conference on Computer, Blockchain and Financial Development (CBFD) ,
6
Transportation Supply Chain Management Mode Based on Econom..:
, In:
?
Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science ,
10