Pages that link to "Item:Q1647499"
From MaRDI portal
The following pages link to Enumeration complexity of poor man's propositional dependence logic (Q1647499):
Displaying 5 items.
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
- Modular SAT-based techniques for reasoning tasks in team semantics (Q6615313) (← links)
- Parameterized complexity of weighted team definability (Q6620025) (← links)