fixed-parameter tractability parameterized complexity algorithms and complexity kernelization satisfiability backdoor sets constraint satisfaction
Tout plus