walksat-algorithm

Implementation of local search-based algorithms for solving SAT and Max-SAT in Python

This repository for implementations of Artificial intelligence algorithms

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 o…

Simple Python implementation of the WalkSAT algorithm and SAT implementation of graph coloring

Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI