The following pages link to Finding kernels or solving SAT (Q414435):
Displayed 5 items.
- Propositional discourse logic (Q484942) (← links)
- On the complexity of the \(k\)-kernel problem on cyclically \(k\)-partite digraphs (Q2330089) (← links)
- Quasi-Transitive Digraphs and Their Extensions (Q3120440) (← links)
- Encoding Argument Graphs in Logic (Q5230074) (← links)
- Algorithmic aspects of small quasi-kernels (Q6043190) (← links)