reductions

hishamcse/Algorithms-Princeton-Combined

This repository contains all the algorithms implementation & problems solution, assignment solution, Interview question solution & other related materials (Slides, Resources) related to Princeton University algorithms Part I & II course at COURSERA

mcthouacbb/Sirius

Chess engine

nicolasAmat/SMPT

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

computational-problem-solving/sat

:satisfied: Boolean formula satisfiability algorithms for JavaScript

nicolasAmat/Kong

Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

vedgar/izr

jeffhammond/KahanMPI

Implementation of Kahan summation for MPI reductions

p4czyk/reductions

Reductions from theoretical computer science

antonio-cirillo/3sat-3

:evergreen_tree: Reduction from the 3sat-3 problem to the maximum flow problem.

computational-problem-solving/js-2sat

:satisfied: 2-Satisfiability library for JavaScript

mateibarbu19/algorithm-analysis

This repo provides homework solutions for the Algorithm Analysis course taught at Politehnica University of Bucharest.

scriptographers/CS218-Assignments

All assignments for CS 218: Design and Analysis of Algorithms, Spring 2021, IIT Bombay

asubramanian08/PACT-Group-2

Approximation and randomized algorithms - PACT group 2 with Dr. Rajiv Gandhi

aureooms-research/pats-game-solutions

:video_game: Solutions for the game found in http://oeis.org/A070214

nandadeepd/programming-scala

Small scale scala compiler and interpreter

wilfreddenton/fold-ts

experimental fold implementation