3-colorability-problem

There are 0 repository under 3-colorability-problem topic.

alaattinyilmaz / 3-color
An analysis of a NP-Complete Graph Colouring problem 3-Colourability and an approximate algorithm analysis that solves 3-COL.
npcomplete nphard 3-coloring 3-colorability-problem algorithms algorithm-analysis heuristics heuristic-algorithm greedy-algorithms
Language:C++ 1
Popa611 / SAT-solver
Simple implementation and parallelization of the DPLL algorithm for the satisfiability problem.
sat-solver satisfiability csharp parallelism parallel 3-colorability-problem independent-set-problem hamiltonian-path-problem dpll-algorithm dpll
Language:C# 1