The following pages link to (Q2908838):
Displayed 5 items.
- Backdoors to q-Horn (Q261394) (← links)
- Satisfiability of acyclic and almost acyclic CNF formulas (Q385062) (← links)
- Automata for the verification of monadic second-order graph properties (Q1948277) (← links)
- The rank-width of edge-coloured graphs (Q2392245) (← links)
- Satisfiability of Acyclic and almost Acyclic CNF Formulas (II) (Q3007673) (← links)