Automatic Conjecturing of P-Recursions Using Lifted Inference.

Jchym Barvnek, Timothy van Bremen, Yuyi Wang, Filip Zelezn, Ondrej Kuzelka

Browse the full ILP paper archive.