The following pages link to (Q5331780):
Displayed 7 items.
- A supernodal formulation of vertex colouring with applications in course timetabling (Q610967) (← links)
- Metamathematical approach to proving theorems of discrete mathematics (Q1255328) (← links)
- A proof-scheme in discrete mathematics (Q1256323) (← links)
- Mixed graph colorings (Q1360876) (← links)
- The application of the methods of the theory of logical derivation to graph theory (Q2558225) (← links)
- Many Facets of Dualities (Q2971613) (← links)
- Path homomorphisms, graph colorings, and boolean matrices (Q5190330) (← links)