GitHub topics: 3sat
rols1/Kodi-Addon-ARDundZDF
Kodi Addon für die Mediatheken von ARD + ZDF, Live-TV, Live-Radio, Radio-Podcasts / ARD-Audiothek, Downloads. Forum kodinerds: https://www.kodinerds.net/index.php/Thread/64244-RELEASE-Kodi-Addon-ARDundZDF/
Language: Python - Size: 50.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 50 - Forks: 9
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.
Language: Jupyter Notebook - Size: 396 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 3 - Forks: 1
bcroner/getfactors
3SAT solver and integer factorizer
Language: C++ - Size: 596 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0
thyung/qiskit_grover
Use Grover's algorithm to solve Boolean Satisfiability Problem and Traveling Salesman Problem
Language: Jupyter Notebook - Size: 3.91 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
omnp/shiny-spoon
3-CNF-SAT (toy) solver
Language: Python - Size: 394 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
Quiggleson/sat
python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time
Language: TeX - Size: 3.87 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
nparzan/sat
A simple implementation of the 3SAT problem
Language: Python - Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1
cynthi8/convert_to_3sat
Convert SAT CNF files to 3SAT version
Language: Python - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
snowcra5h/3SAT
Given a valid 3-CNF expression, finds a truth assignment (or partial truth assignment) which satisfies a boolean expression or, reports that the formula is unsatisfiable.
Language: C - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
os12345678/SAT_DPLL
An implementation of the DPLL algorithm for solving SAT problems
Language: Python - Size: 2.76 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
JaredLGillespie/3SAT-GA-WOC
Genetic Algorithm and Wisdom of Crowd solver for 3-SAT problem.
Language: Python - Size: 87.9 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 3
RafaelGranza/3SAT-Simulated-Annealing
C++ 3-SAT Simulated Annealing Solver
Language: C++ - Size: 20.4 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
StenLeinasaar/3SAT-and-KnapSacks
Final project for Computability and Complexity course
Language: Python - Size: 1.17 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
hselasky/hpsat_generate
3-SAT CNF file generator
Language: C++ - Size: 188 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1
monofox/Scripte-R-Mediatheken
Collection of various scripts to retrieve and play media from public libraries of German TV
Language: Python - Size: 2.28 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
SleekPanther/3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
Language: Java - Size: 16.6 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1
BRoessl/max3sat-optimisation
A Comparison between Simulated Annealing and Artificial Bee Colony applied to MAX-3SAT
Language: Java - Size: 10.7 MB - Last synced at: 29 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
fabsrc/mediathek_scraper
:tv: Scrapes videos from mediatheks of ARD, ZDF, arte and 3sat.
Language: Python - Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: almost 9 years ago - Stars: 2 - Forks: 0
akphi/vanilla.knapsack
Explore different algorithms for Maximum 0-1 Knapsack
Language: Java - Size: 2.76 MB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
