JuanjoMrt / Graph-ColoringLinks
Graph coloring problem solved with Genetic Algorithm, Tabu Search and Simulated Annealing
☆21Updated 7 years ago
Alternatives and similar repositories for Graph-Coloring
Users that are interested in Graph-Coloring are comparing it to the libraries listed below
Sorting:
- DRL models for graph partitioning and sparse matrix ordering.☆32Updated 2 years ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆171Updated this week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Updated last year
- Applying Deep Q-learning for Global Routing☆131Updated 5 years ago
- A Deep-Reinforcement-Learning-Based Scheduler for FPGA HLS☆15Updated 4 years ago
- Paper collection of reinforcement learning based combinatorial optimization☆55Updated 4 years ago
- REST, a reinforcement learning framework for constructing rectilinear Steiner Minimum tree (RSMT)☆59Updated 3 years ago
- Maximum independent sets and vertex covers of large sparse graphs.☆79Updated last week
- Parallel sparse direct solver for circuit simulation☆48Updated 3 years ago
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆506Updated 3 weeks ago
- Demonstrating the usage of FGYM: A Toolkit for benchmarking FPGA-accelerated Reinforcement Learning☆13Updated 4 years ago
- Exactcolors is a collection of algorithms for exactly solving graph coloring and weighted stable set problems.☆15Updated 7 months ago
- A Simple CDCL Solver☆35Updated 2 years ago
- Parallel Monte Carlo Tree Search, see README.md for more detailed usage and information.☆50Updated 5 years ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆49Updated last month
- ☆24Updated 6 months ago
- JAX + Flax implementation of "Combinatorial Optimization with Physics-Inspired Graph Neural Networks" by Schuetz et al.☆66Updated 3 months ago
- RL environment for detailed routing.☆47Updated last year
- PACT: A Parallel Compact Thermal Simulator☆65Updated 3 weeks ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 5 years ago
- Solving a TSP with the CPLEX C++ API.☆50Updated 5 years ago
- Visualisation of Simulated Annealing algorithm to solve TSP☆61Updated 6 years ago
- Benchmark Generator for Global Routing☆13Updated 6 years ago
- Official implementation of NeurIPS'23 paper "Macro Placement by Wire-Mask-Guided Black-Box Optimization"☆30Updated 8 months ago
- Hypergraph Partitioning: benchmarks, evaluators, best known solutions and codes☆76Updated 3 weeks ago
- Pursuing the best performance of linear solver in circuit simulation☆41Updated 3 weeks ago
- ☆20Updated last year
- Code for the paper "Latency-Aware Generation of Single-Rate DAGs from Multi-Rate Task Sets" (RTAS 2020)☆16Updated 4 years ago
- Global Router Built for ICCAD Contest 2019☆34Updated 5 years ago
- The Ranking Cost algorithm for multi-path routing of gridworld.(多智能体路径规划，电路规划)☆19Updated 4 years ago