marcelkliemannel/pSAT
C framework for SLS-SAT-Solvers with an implementation of Robust Tabu Search (RoTS) and Iterated Local Search with Simulated Annealing (ILS/SA).
Discovered public repositories for marcelkliemannel in the GitHub catalog.
C framework for SLS-SAT-Solvers with an implementation of Robust Tabu Search (RoTS) and Iterated Local Search with Simulated Annealing (ILS/SA).