#

adaptive-novelty

Here is 1 public repository matching this topic...

thtran97 / Local-Search-for-SAT

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

Improve this page

Add a description, image, and links to the adaptive-novelty topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the adaptive-novelty topic, visit your repo's landing page and select "manage topics."