Pages that link to "Item:Q2816096"
From MaRDI portal
The following pages link to AutoGraphiX: an automated system for finding conjectures in graph theory (Q2816096):
Displaying 7 items.
- Automated generation of conjectures on forbidden subgraph characterization (Q741737) (← links)
- Invariants for time-series constraints (Q823762) (← links)
- Facet defining inequalities among graph invariants: The system graphedron (Q944740) (← links)
- Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures (Q1422414) (← links)
- Automated conjecturing. III. Property-relations conjectures (Q1688717) (← links)
- Variable neighborhood search for extremal graphs. I: The AutoGraphiX system (Q1970574) (← links)
- Conflict Anticipation in the Search for Graph Automorphisms (Q2891455) (← links)