Oscar Riveros's repositories
slime-sat-solver
A Free World Class High Performance SAT Solver
BASILISK-SAT-SOLVER
Simple and efficient pure CDCL algorithm for educational purposes.
CircuitSAT
A Circuit SAT language that emit CNF code.
Complexity-Tools
Complexity: Reductions, Scripts, Tools.
Forrelation
The HESS polynomial black-box algorithm solve a problem related to "Forrelation" problem.
HESS-KNAPSACK
A HESS Knapsack O(n^2.x) + O(Oracle) Pseudo (exact in many cases) Optimal Solver
HESS-SAT-COMPLETE
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.
HESS-SHA256
A sha256 sequential inverter with HESS algorithm.
SLIME_SOLVED_UNKNOWN_INSTANCES
UNKNOWN Status Solved Instances by SLIME 5 with HESS and BOOST algorithm
HESS-HAMPATH-COMPLETE
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.
Hyper-Exponential-Space-Sorting
HESS (New Feature 2021) polynomial black-box for Hamiltonian Path Problem
Hyperconvergent-Prompt-Engineering
Engineering that combines the speed in task execution with the integration of hyperconvergent technologies, involving a convergence of computing, storage, and networking resources in a unified and agile environment, with a high degree of human interaction and artificial intelligence.
Diffusion_Models
A simple implementation of Diffusion Models for study
HESS-vs-ML
HESS Algorithm v/s ML Algorithms
HESS_AUTO_ML
Basic examples of the use of the HESS algorithm for everything related to Auto ML, the intention is to create a robust and easy to use Open Source Framework that can compete with the greats of the industry.
HESS_HPC
An HPC implementación of HESS algorithm for Continuous TSP.