Thinklab-SJTU/HardSATGEN
[SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
This project helps operations engineers or anyone working with industrial SAT solvers generate new, challenging SAT formulas. You input a collection of existing industrial SAT formulas, and it outputs new formulas that are structurally similar but computationally harder to solve. This is useful for rigorously testing and tuning SAT solvers to improve their performance.
No commits in the last 6 months.
Use this if you need to create diverse and difficult SAT problems to stress-test or optimize your SAT solvers.
Not ideal if you are looking to solve existing SAT problems or simply generate random, easily solvable formulas.
Stars
22
Forks
—
Language
Python
License
—
Category
Last pushed
Jun 16, 2023
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/Thinklab-SJTU/HardSATGEN"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
TimefoldAI/timefold-solver
The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the...
TimefoldAI/timefold-quickstarts
Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee...
apache/incubator-kie-optaplanner-quickstarts
OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
optapy/optapy
OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.
berv-uni-project/scheduler-op
This is scheduler that implements 3 algorithm.