-
CDCL Public
A simple and pure CDCL algorithm for experiment with new heuristics...
-
-
PEQNP Public
PEQNP Mathematical Solver
-
HESS (New Feature 2021) polynomial black-box for Hamiltonian Path Problem
-
-
-
slime-sat-solver Public
A Free World Class High Performance SAT Solver
-
Forrelation Public
The HESS polynomial black-box algorithm solve a problem related to "Forrelation" problem.
-
-
CVRP Public
A simple CVRP solver based on O. Riveros HESS black-box algorithm www.peqnp.com
-
BASILISK-SAT-SOLVER Public
Simple and efficient pure CDCL algorithm for educational purposes.
-
UNKNOWN Status Solved Instances by SLIME 5 with HESS and BOOST algorithm
2 UpdatedMar 2, 2021 -
-
-
-
MiniSat Public
MiniSat 2.2.0 with DRUP proof, CMake and StarExec Ready.
-
O. Riveros PEQNP Benchmarks SAT 2020 Competition
2 UpdatedAug 10, 2020 -
hess_max3lin Public
A polynomial time MAX3LIN aproximator that break the inapproximability ratio always?
-
-
-
-
-
-
-
HESS_PAPER Public
Approximation Ratio of a Deterministic Polynomial Black Box Over a MaxSAT Oracle
-
-
problem-solving-book Public
Problem Solving: A Practical Workbook
-
big-csp-examples Public
Polynomial Constrained Integer Programming Examples with Big-CSP
-
python3-cpp Public
basic python native extensions examples
-
Permutation Reconstruction from Differences is NP-complete.
{{ message }}