Research on the Basic Combat Round Model of Over-The-Horizon Air Combat.
Proceedings of the Advances in Swarm Intelligence, 2024
PACE Solver Description: Computing Exact Treedepth via Minimal Separators.
Proceedings of the 15th International Symposium on Parameterized and Exact Computation, 2020