The following pages link to (Q3684166):
Displayed 5 items.
- Facet defining inequalities among graph invariants: The system graphedron (Q944740) (← links)
- Man-machine theorem proving in graph theory (Q1104124) (← links)
- Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures (Q1422414) (← links)
- Computers and discovery in algebraic graph theory (Q1855400) (← links)
- Linear inequalities among graph invariants: Using <i>GraPHedron</i> to uncover optimal relationships (Q3548730) (← links)