Pages that link to "Item:Q2818000"
From MaRDI portal
The following pages link to Strong Backdoors for Default Logic (Q2818000):
Displaying 9 items.
- Backdoors for linear temporal logic (Q1725638) (← links)
- A multiparametric view on answer set programming (Q2317973) (← links)
- Backdoors to planning (Q2321271) (← links)
- Strong Backdoors for Default Logic (Q2818000) (← links)
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
- Default logic and bounded treewidth (Q5918613) (← links)
- Strong backdoors for default logic (Q6570091) (← links)
- Strong backdoors for default logic (Q6610193) (← links)