GitHub topics: walksat-algorithm
Wadaboa/RandomKCNFSolver
Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI
Language: Python - Size: 288 KB - Last synced at: 1 day ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
pavel-r-georgiev/tree-search-algorithms
:deciduous_tree: Implementation of tree search algorithms dealing with satisfiability of propositional logic sentences
Language: Haskell - Size: 3.55 MB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
Shahriar9000/Optimized-WalkSat-and-Resolution-Proving
Comparison running time of WalkSAT and Resolution Proving algorithms in C++ vs Python.
Language: C++ - Size: 772 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
thtran97/Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
Language: Python - Size: 85 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 2
Cheng-Lin-Li/AI
This repository for implementations of Artificial intelligence algorithms
Language: Python - Size: 60.5 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 2
marcmelis/otk-sat
Simple Python implementation of the WalkSAT algorithm and SAT implementation of graph coloring
Language: Python - Size: 2.21 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1
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.
Language: Python - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 2
