3sat

JaredLGillespie/3SAT-GA-WOC

Genetic Algorithm and Wisdom of Crowd solver for 3-SAT problem.

Quiggleson/sat

python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time

akphi/vanilla.knapsack

Explore different algorithms for Maximum 0-1 Knapsack

alejomonbar/LR-QAOA

Fixed linear ramp schedules in QAOA constitute a universal set parameters, i.e., a set of γ and β parameters that rapidly approximate the optimal solution, x∗, independently of the COP selected, and that the success probability of finding it, probability(x∗), increases with the number of QAOA layers p.

fabsrc/mediathek_scraper

:tv: Scrapes videos from mediatheks of ARD, ZDF, arte and 3sat.

os12345678/SAT_DPLL

An implementation of the DPLL algorithm for solving SAT problems

RafaelGranza/3SAT-Simulated-Annealing

C++ 3-SAT Simulated Annealing Solver

SleekPanther/3-sat-certifier

A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem

antonio-cirillo/3sat-3

:evergreen_tree: Reduction from the 3sat-3 problem to the maximum flow problem.

bcroner/getfactors

3SAT solver and integer factorizer

BRoessl/max3sat-optimisation

A Comparison between Simulated Annealing and Artificial Bee Colony applied to MAX-3SAT

cynthi8/convert_to_3sat

Convert SAT CNF files to 3SAT version

JonatanBadillo/3SAT-to-VertexCover

monofox/Scripte-R-Mediatheken

Collection of various scripts to retrieve and play media from public libraries of German TV

nparzan/sat

A simple implementation of the 3SAT problem

omnp/shiny-spoon

3-CNF-SAT (toy) solver

StenLeinasaar/3SAT-and-KnapSacks

Final project for Computability and Complexity course

thyung/qiskit_grover

Use Grover's algorithm to solve Boolean Satisfiability Problem and Traveling Salesman Problem

hselasky/hpsat_generate

3-SAT CNF file generator