thtran97 / Local-Search-for-SAT Star 12 Code Issues Pull requests Implementation of local search-based algorithms for solving SAT and Max-SAT in Python local-search novelty sat-solver random-walk tabu-search combinatorial-optimization walksat-algorithm iterated-local-search max-sat gsat adaptive-novelty r-novelty Updated Dec 6, 2020 Python
GhazaleZe / Artificial-Intelligence Star 6 Code Issues Pull requests Discussions codes of my IUT course constraint-satisfaction-problem game-theory hill-climbing-search tabu-search minizinc metaheuristics csp-solver random-restart 0-1-knapsack-problem choco-solver max-sat Updated Feb 28, 2021 Python
ellietoulabi / Artificial-Intelligence-Problems Star 2 Code Issues Pull requests Solving some AI Problems artificial-intelligence simulated-annealing hill-climbing breadth-first-search google-or-tools graph-coloring random-restart nqueens latin-square maxsat max-sat jacop Updated Jul 14, 2021 Python
MohammadYasinKarbasian / MAX-SAT-solver Star 2 Code Issues Pull requests My MAX-SAT solver uses stochastic local search, tabu search, and simulated annealing. python simulated-annealing tabu-search stochastic-hill-climb max-sat Updated Dec 13, 2022 Python
zvadaadam / 3SAT Star 1 Code Issues Pull requests go golang genetic-algorithm sat-solver sat dimacs 3-sat max-sat max-weighted-sat Updated Jan 20, 2019 Python
Narges-Mntzr / Artificial-Intelligence-Problems Star 1 Code Issues Pull requests Solution of artificial intelligence course exercises in isfahan university of technology (IUT) . genetic-algorithm artificial-intelligence sudoku-solver simulated-annealing max-sat Updated Dec 9, 2022 Python