Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.

Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou

Browse the full ICTAC paper archive.