On the Complexity of Model Checking and Inference in Minimal Models.

Lefteris M. Kirousis, Phokion G. Kolaitis

Browse the full LPNMR paper archive.