#

max-sat

Here are 9 public repositories matching this topic...

marekpiotrow / UWrMaxSat

UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it won the weighted main track. It has been created recently at the University of Wrocław. It is a complete solver for partial weighted MaxSAT instanc…

maxsat pseudo-boolean-solver maxsat-solver max-sat pseudo-boolean complete-solver

Updated May 8, 2024
C++

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

GhazaleZe / Artificial-Intelligence

codes of my IUT course

constraint-satisfaction-problem game-theory hill-climbing-search tabu-search minizinc metaheuristics csp-solver random-restart 0-1-knapsack-problem choco-solver max-sat

Updated Feb 28, 2021
Python

ellietoulabi / Artificial-Intelligence-Problems

Solving some AI Problems

artificial-intelligence simulated-annealing hill-climbing breadth-first-search google-or-tools graph-coloring random-restart nqueens latin-square maxsat max-sat jacop

Updated Jul 14, 2021
Python

MohammadYasinKarbasian / MAX-SAT-solver

My MAX-SAT solver uses stochastic local search, tabu search, and simulated annealing.

python simulated-annealing tabu-search stochastic-hill-climb max-sat

Updated Dec 13, 2022
Python

zvadaadam / 3SAT

go golang genetic-algorithm sat-solver sat dimacs 3-sat max-sat max-weighted-sat

Updated Jan 20, 2019
Python

theresa77 / wiggle-minimization

Implementation to master thesis about minimizing wiggles in storyline visualizations

javascript java spring-boot maven gurobi ilp max-sat

Updated Aug 16, 2018
Java

Narges-Mntzr / Artificial-Intelligence-Problems

Solution of artificial intelligence course exercises in isfahan university of technology (IUT) .

genetic-algorithm artificial-intelligence sudoku-solver simulated-annealing max-sat

Updated Dec 9, 2022
Python

harshad-p / max-sat-solver

A parallel program for solving unweighted MAX-SAT problems.

Updated Jun 4, 2018
Java

Improve this page

Add a description, image, and links to the max-sat 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 max-sat topic, visit your repo's landing page and select "manage topics."