walksat-algorithm
There are 7 repositories under walksat-algorithm topic.
thtran97/Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
Sina-Baharlou/GSAT-WalkSAT
Different heuristics and random initialization methods applied to GSAT and WalkSAT algorithms
Cheng-Lin-Li/AI
This repository for implementations of Artificial intelligence algorithms
marcmelis/otk-sat
Simple Python implementation of the WalkSAT algorithm and SAT implementation of graph coloring
RishabhTyagiHub/Constraint-Satisfaction-Problem---Wedding-Seating-Arrangement
You need to plan a wedding seating arrangement for n guest. Some of the pairs of guests are friends, some other are enemies and rest of them are indifferent to each other. Friends: Friends or couple need to sit together on a table. Enemies: Enemies hate each other and can't sit at the same table. Indifferent: Guests who are indifferent to each other don't mind sitting at the same table or not.
Shahriar9000/Optimized-WalkSat-and-Resolution-Proving
Comparison running time of WalkSAT and Resolution Proving algorithms in C++ vs Python.
Wadaboa/RandomKCNFSolver
Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI