Here are
17 public repositories
matching this topic...
Updated
Jun 7, 2024
Python
Genetic Algorithm and Wisdom of Crowd solver for 3-SAT problem.
Updated
Nov 14, 2017
Python
python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time
Explore different algorithms for Maximum 0-1 Knapsack
📺 Scrapes videos from mediatheks of ARD, ZDF, arte and 3sat.
Updated
Jun 12, 2016
Python
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
Updated
May 18, 2017
Java
C++ 3-SAT Simulated Annealing Solver
An implementation of the DPLL algorithm for solving SAT problems
Updated
Dec 24, 2022
Python
Updated
Jun 1, 2023
Python
A simple implementation of the 3SAT problem
Updated
Jan 4, 2020
Python
Convert SAT CNF files to 3SAT version
Updated
May 17, 2023
Python
Final project for Computability and Complexity course
Updated
May 20, 2022
Python
🌲 Reduction from the 3sat-3 problem to the maximum flow problem.
Updated
Jan 19, 2023
Python
A Comparison between Simulated Annealing and Artificial Bee Colony applied to MAX-3SAT
Updated
Sep 23, 2021
Java
Collection of various scripts to retrieve and play media from public libraries of German TV
Updated
Dec 6, 2022
Python
Updated
Apr 16, 2024
Python
Improve this page
Add a description, image, and links to the
3sat
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
3sat
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.