Pages that link to "Item:Q2818000"
From MaRDI portal
The following pages link to Strong Backdoors for Default Logic (Q2818000):
Displaying 6 items.
- A multiparametric view on answer set programming (Q2317973) (← links)
- Strong Backdoors for Default Logic (Q2818000) (← 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)