On the Parameterized Complexity of Associative and Commutative Unification.

Tatsuya Akutsu Jesper Jansson Atsuhiro Takasu Takeyuki Tamura

Published in: IPEC (2014)

Keyphrases

parameterized complexity
fixed parameter tractable
global constraints
special case
theorem proving
symmetry breaking
computational problems
database
np hard
np complete
data exchange