Pages that link to "Item:Q1761284"
From MaRDI portal
The following pages link to Augmenting tractable fragments of abstract argumentation (Q1761284):
Displaying 7 items.
- Complexity-sensitive decision procedures for abstract argumentation (Q490451) (← links)
- Backdoors into heterogeneous classes of SAT and CSP (Q730498) (← links)
- Complexity of abstract argumentation under a claim-centric view (Q785236) (← links)
- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory (Q898737) (← links)
- Backdoors for linear temporal logic (Q1725638) (← links)
- Backdoors to Satisfaction (Q2908542) (← links)
- Computational Short Cuts in Infinite Domain Constraint Satisfaction (Q5870497) (← links)
