Thinklab-SJTU / UniCO Star 18 Code Issues Pull requests [ICLR 2025] UniCO: On Unified Combinatorial Optimization via Problem Reduction to Matrix-Encoded General TSP machine-learning travelling-salesman-problem hamiltonian-cycle neural-combinatorial-optimization satisfiability-problem atsp diffusion-models jittor Updated Jun 20, 2025 Python
Amirarsalan-sn / RTI-solved-using-simulated-annealing Star 4 Code Issues Pull requests solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing. python ai satisfiability-solver simulated-annealing 3-sat optimization-problem simulated-annealing-algorithm satisfiability-problem boolean-satisfiability-problem random-3-sat Updated Nov 3, 2023 Python
Amirarsalan-sn / RTI-solved-using-genetic-algorithm Star 1 Code Issues Pull requests solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm. python ai genetic-algorithm evolutionary-algorithms 3-satisfiability optimization-problem satisfiability-problem boolean-satisfiability-problem random-3-sat Updated Nov 3, 2023 Python
gabrielpereiram10 / allocation Star 0 Code Issues Pull requests Repositório do projeto da disciplina de Lógica para Computação cnf propositional-logic dpll-algorithm semantic-tableau satisfiability-problem Updated Mar 29, 2021 Python
nata-web / SO_for_SAT Star 0 Code Issues Pull requests On the use of associative memory in Hopfield networks designed to solve propositional satisfiability problems hopfield-network hebbian-learning self-organization self-optimization hopfield-neural-network satisfiability-problem sat-problem Updated Jun 15, 2026 Python