Backdoors to Tractable Answer-Set Programming

Open in new window