Popa611 / SAT-solver Star 1 Code Issues Pull requests Simple implementation and parallelization of the DPLL algorithm for the satisfiability problem. csharp parallel parallelism sat-solver dpll satisfiability dpll-algorithm independent-set-problem 3-colorability-problem hamiltonian-path-problem Updated Sep 17, 2020 C#
alaattinyilmaz / 3-color Star 1 Code Issues Pull requests An analysis of a NP-Complete Graph Colouring problem 3-Colourability and an approximate algorithm analysis that solves 3-COL. algorithms heuristics algorithm-analysis greedy-algorithms nphard heuristic-algorithm 3-coloring 3-colorability-problem npcomplete Updated May 18, 2018 C++