Oscar Riveros's Projects
Advanced Algorithmic Composition Book by Oscar Riveros
Some Standard Algorithm on Assembler 64
Simple and efficient pure CDCL algorithm for educational purposes.
Polynomial Constrained Integer Programming Examples with Big-CSP
"Black Hole" a (API) Template for a Optimal HPC SAT Solver
A Powerful SAT Solver for Java
A simple calculator created in 5 minutes with ANTLR4, an example of a small interpreted language with centralized object. (for fun)
A simple and pure CDCL algorithm for experiment with new heuristics...
A C89 SAT Solver with DRUP Proof
A Circuit SAT language that emit CNF code.
Clojure & JSR-331 - Puzzles
PEQN CNF Submodule Examples
A base -1 + i CNF encoder for complex field operations.
Complexity: Reductions, Scripts, Tools.
A simple CVRP solver based on O. Riveros HESS black-box algorithm www.peqnp.com
Subset Sum Problem Solver
DEIDOS (NP-Complete Problem Solver) vs THE WORLD
DEIDOS ULTIMATE (NP-Complete Problem Solver) Benchmarks
A simple implementation of Diffusion Models for study
Distributed Algorithms Examples
The HESS polynomial black-box algorithm solve a problem related to "Forrelation" problem.
Google STEP Internship dev course - TSP Challenges
HESS black-box algorithm from http://www.peqnp.com
HESS Algorithm for General Satiafiability Problem (On Multivalued Logics)
The original HESS (Hyper Exponential Space Sorting) is a polynomial black-box optimization algorithm, that work very well with any NP-Complete, or NP-Hard problem, at 2021 thanks to suggestions of Daniel Mattes, work like a complete algorithm.
A HESS Knapsack O(n^2.x) + O(Oracle) Pseudo (exact in many cases) Optimal Solver
The companion materials to HESS algorithm paper.
The original HESS (Hyper Exponential Space Sorting) is a polynomial black-box optimization algorithm, that work very well with any NP-Complete, or NP-Hard problem, at 2021 thanks to suggestions of Daniel Mattes, work like a complete algorithm.
A sha256 sequential inverter with HESS algorithm.
HESS Algorithm v/s ML Algorithms