The following pages link to Finding kernels or solving SAT (Q414435):
Displaying 8 items.
- Expressive power of digraph solvability (Q409316) (← links)
- 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)
- Kernels, truth and satisfaction (Q5382835) (← links)
- Counting kernels in directed graphs with arbitrary orientations (Q6559392) (← links)
- Quasi-kernels in split graphs (Q6657231) (← links)