Projects in Awesome Lists tagged with satisfiability-problem
A curated list of projects in awesome lists tagged with satisfiability-problem .
https://github.com/seage/seage
SEAGE (Search Agents) is a hyper-heuristic framework for metaheuristic collaboration.
hyperheuristic jobshop-scheduling metaheuristics optimization satisfiability-problem travelling-salesman-problem
Last synced: 10 Jan 2026
https://github.com/thinklab-sjtu/unico
[ICLR 2025] UniCO: On Unified Combinatorial Optimization via Problem Reduction to Matrix-Encoded General TSP
atsp diffusion-models hamiltonian-cycle jittor machine-learning neural-combinatorial-optimization satisfiability-problem travelling-salesman-problem
Last synced: 29 Jun 2025
https://github.com/jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
decision-diagram knowledge-compilation model-counting model-enumeration satisfiability-problem sdd sentential-decision-diagram
Last synced: 29 Jul 2025
https://github.com/supermarcel10/cryptographicanalysisofsha2
Comparative benchmark of SMT solver effectiveness in cryptographic hash collision discovery for SHA-2 algorithms.
cryptanalysis cryptography research research-paper research-project satisfiability-modulo-theories satisfiability-problem sha2 smt
Last synced: 30 Jul 2025
https://github.com/giovanni-ottaviano/lcsd-sat-transition
Investigation of the data-driven satisfiability transition in the linear classification of structured data
cpp machine-learning physics python pytorch satisfiability-problem
Last synced: 30 Apr 2026
https://github.com/markhershey/satsolver
Java & Python Implementation of the Boolean Satisfiability Problem Solver
np-complete sat-solver satisfiability-problem
Last synced: 19 Oct 2025
