r-novelty

There are 0 repository under r-novelty topic.

thtran97 / Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
walksat-algorithm local-search gsat sat-solver max-sat tabu-search random-walk adaptive-novelty novelty r-novelty iterated-local-search combinatorial-optimization
Language:Python 13