JIT codegen backend with SSA IR based on B3 from WebKit

Graph Neural Network architecture to solve the decision version of the graph coloring problem (GCP)

WelshPowell algorithm animated with VisuAlgo

Timetabling Problem

通过C++实现图着色问题（贪心法和回溯法）

In large-scale parallel applications a graph coloring is often carried out to schedule computational tasks.Graph coloring problem is to assign colors to certain elements of a graph subject to certain constraints. The algorithm operates in an iterative fashion, in each round vertices are speculatively colored based on limited information, and the…

This project aims to predict the satisfiability of a SAT3 problem instance using GNNs or LSTMs. Since the SAT3 problem is similar to the 3-coloring, it attempts to solve that as well.

A simple code to find the chromatic number of a graph

Genetic algorithm for graph coloring problem

Graph Coloring Project Data Structure And Algoritham

An Angular-Firebase app that showcases various graph coloring algorithms.

Discrete Optimization Algorithms

C codes for standard algorithms

Python Implementation of a Greedy graph colouring and visualisation using tkinter

Graph Coloring With Greedy Algorithm (With Graphics)

This repository includes an evolutionary strategy encoded by finite decimal representations to solve Sudokus.