Abstract Modular Inference Systems and Solvers.

Yuliya Lierler, Miroslaw Truszczynski

Browse the full PADL paper archive.