walksat-algorithm
There are 0 repository under walksat-algorithm topic.
thtran97 / Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
Language:Python 13Sina-Baharlou / GSAT-WalkSAT
Different heuristics and random initialization methods applied to GSAT and WalkSAT algorithms
Language:C++ 6Cheng-Lin-Li / AI
This repository for implementations of Artificial intelligence algorithms
Language:Python 3marcmelis / otk-sat
Simple Python implementation of the WalkSAT algorithm and SAT implementation of graph coloring
Language:Python 3RishabhTyagiHub / 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.
Language:Python 3Shahriar9000 / Optimized-WalkSat-and-Resolution-Proving
Comparison running time of WalkSAT and Resolution Proving algorithms in C++ vs Python.
Language:C++ 2Wadaboa / RandomKCNFSolver
Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI
Language:Python 1pavel-r-georgiev / tree-search-algorithms
:deciduous_tree: Implementation of tree search algorithms dealing with satisfiability of propositional logic sentences
Language:Haskell