GitHub topics: satisfiability-problem
Thinklab-SJTU/UniCO
[ICLR 2025] UniCO: On Unified Combinatorial Optimization via Problem Reduction to Matrix-Encoded General TSP
Language: Python - Size: 11.6 MB - Last synced at: about 5 hours ago - Pushed at: 9 days ago - Stars: 9 - Forks: 0
jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
Language: Rust - Size: 277 KB - Last synced at: 26 days ago - Pushed at: 7 months ago - Stars: 5 - Forks: 0
giovanni-ottaviano/LCSD-SAT-transition
Investigation of the data-driven satisfiability transition in the linear classification of structured data
Language: Jupyter Notebook - Size: 987 KB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
DACUS1995/Semantic-Tableaux-Method-for-Propositional-Logic
Propositional logic formulae parser and implementation of Tableaux method for satisfiability proving of propositional logic formulae.
Language: JavaScript - Size: 20.5 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
Amirarsalan-sn/RTI-solved-using-genetic-algorithm
solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.
Language: Python - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Amirarsalan-sn/RTI-solved-using-simulated-annealing
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
Language: Python - Size: 11.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
aKhfagy/data-structures-algorithms 📦
What I learned from Data Structures and Algorithms Specialization on Coursera.
Language: C++ - Size: 99.6 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
seage/seage
SEAGE (Search Agents) is a hyper-heuristic framework for metaheuristic collaboration.
Language: Java - Size: 17.2 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 6
ansh25saini/Grover_Algorithm_Project
This project aims at solving a boolean satisfiability problem (dinner problem) using Grover's algorithm. I have made this project as a part of the IITR QCG- Open Summer Project, 2022.
Language: Jupyter Notebook - Size: 49.8 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
pradyumnameena/COL333-Artificial-Intelligence
Collection of assignments given by Prof. Mausam in the COL333 course
Language: C++ - Size: 8.89 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1
jamestiotio/DigiAlpha
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
Language: C++ - Size: 6.96 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
MarkHershey/SATSolver
Java & Python Implementation of the Boolean Satisfiability Problem Solver
Language: Java - Size: 1.53 MB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
brandimarte/satisfyme
A k-satisfiability solver based on Knuth dancing-links X algorithm.
Language: C - Size: 2.27 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
