Pages that link to "Item:Q5129999"
From MaRDI portal
The following pages link to Constraint and Satisfiability Reasoning for Graph Coloring (Q5129999):
Displaying 7 items.
- Coloring terms to control equational reasoning (Q1367077) (← links)
- Generalised graph colouring by a hybrid of local search and constraint programming (Q2467347) (← links)
- Another look at graph coloring via propositional satisfiability (Q2467359) (← links)
- Total coloring and total matching: polyhedra and facets (Q2673562) (← links)
- Exact solution of graph coloring problems via constraint programming and column generation (Q2815431) (← links)
- (Q3515552) (← links)
- Constraint propagation in graph coloring (Q5960033) (← links)