Paolo Liberatore;Marco Schaerf
-;-
Monotonic reductions, representative equivalence, and compilation of intractable problems
Journal of the ACM (JACM)
Parameterized compilability
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence