maxtuno

Oscar Riveros's repositories

problem-solving-book

Problem Solving: A Practical Workbook

Language:Jupyter NotebookNOASSERTION6 40

SAT_EQUATION

UNIVERSAL NUMBER THEORY EQUATION OF SAT

Language:Python6 30

DEIDOS

Subset Sum Problem Solver

Language:C++NOASSERTION5 20

UNT_Book

Elements Of Universal Number Theory Book

Language:Python400

HESS_HP

HESS black-box for Hamiltonian Path Problem

Language:CNOASSERTION3 20

hess_max3lin

A polynomial time MAX3LIN aproximator that break the inapproximability ratio always?

Language:C3 20

hess_mt

A polynomial time "incomplete?" SAT Solver.

Language:CNOASSERTION3 20

HESS_PAPER

Approximation Ratio of a Deterministic Polynomial Black Box Over a MaxSAT Oracle

Language:Jupyter NotebookNOASSERTION300

OLD_RESEARCH

Very Old Research For Historical Purposes

Language:PythonNOASSERTION300

On_UNT_Union_Find_Algorithm

A O(n) UNT ALGORITHM FOR THE UNION-FIND PROBLEM

Language:Jupyter Notebook300

PEQNP_EXAMPLES

Advanced PEQNP Examples

Language:Jupyter NotebookNOASSERTION3 10

quark_sat

A complete SAT solver implemented on few lines of C code.

Language:CMIT300

sat_equation_and_abstract_binary_search

Some Update from

Language:C++300

big-csp-examples

Polynomial Constrained Integer Programming Examples with Big-CSP

Language:PythonBSD-3-Clause200

black_hole

"Black Hole" a (API) Template for a Optimal HPC SAT Solver

Language:CMIT200

CNFExamples

PEQN CNF Submodule Examples

Language:Python2 20

DEIDOS-BENCHMARKS-DUEL

DEIDOS (NP-Complete Problem Solver) vs THE WORLD

Language:Python2 20

DEIDOS-ULTIMATE-BENCHMARKS

DEIDOS ULTIMATE (NP-Complete Problem Solver) Benchmarks

Language:Python200

Distributed-Algorithms

Distributed Algorithms Examples

Language:FortranBSD-2-Clause200

google-step-tsp

Google STEP Internship dev course - TSP Challenges

Language:HTML200

HESS-paper

The companion materials to HESS algorithm paper.

Language:ShellNOASSERTION200

MiniSat

MiniSat 2.2.0 with DRUP proof, CMake and StarExec Ready.

Language:C++NOASSERTION2 20

ORiveros-PEQNP-Benchmarks-sat2020

O. Riveros PEQNP Benchmarks SAT 2020 Competition

200

Partition_Ramanujan

Integer Partitions

Language:Python200

peqnp_jvm

PEQNP Java Interop with Jython Example

Language:Java2 20

Permutation-Reconstruction-from-Differences

Permutation Reconstruction from Differences is NP-complete.

Language:PythonMIT200

python3-cpp

basic python native extensions examples

Language:PythonUnlicense200

quark_sat-

A complete SAT solver implemented on few lines of C++ code. (A C++ version of https://github.com/maxtuno/quark_sat)

Language:C++MIT200

snippets

some (HPC) code snippets (for reference)

Language:C2 20

TTP_Validator

Simple Template or Validator for "Travelling Thief Problem"

Language:Python2 20