Login / Signup
Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes
Wolfgang Dvorák
Published in:
CoRR (2012)
Keyphrases
</>
np complete
tractable classes
search algorithm
constraint satisfaction problems
heuristic search