Source Themes

Quadratization preprocessing for the reachability Problem

This project considers specific systems with high-degree nonlinearities and applies the composition of the algorithms described above …

Yubo Cai 蔡宇博