Parameterized complexity of reconfiguration of atoms.

Alexandre Cooper Stephanie Maaz Amer E. Mouawad Naomi Nishimura

Published in: CoRR (2021)

Keyphrases

parameterized complexity
fixed parameter tractable
logic programs
global constraints
symmetry breaking
answer sets
computational complexity
np hard
np complete
computational problems
bounded treewidth
search algorithm
search space
constraint programming
temporal reasoning