reductions

There are 0 repository under reductions topic.

KaMIS
KarlsruheMIS / KaMIS
Maximum independent sets and vertex covers of large sparse graphs.
algorithm datareduction graph kernelization maximum-independent-sets reductions sparse-graphs
Language:C++ 64
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
princeton-algorithms algorithms data-structures codinginterview algs4 string-algorithms compression-algorithm sorting-algorithms searching-algorithms regex linear-programming reduction shortest-path minimum-spanning-trees maxflow-mincut reductions burrows-wheeler-transform graph-algorithms
Language:Java 31
nicolasAmat / SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
petri-nets model-checker reachability reachability-analysis model-checking smt sat smt-solving reductions structural-reductions abstraction linear-algebra
Language:Python 27
mcthouacbb / Sirius
Chess engine
ai alpha-beta-pruning bitboard chess engine evaluation extensions negamax pruning reductions
Language:C++ 18
computational-problem-solving / sat
:satisfied: Boolean formula satisfiability algorithms for JavaScript
np-complete k-sat algorithms agpl javascript computer-science sat-solver reductions sat0w
Language:JavaScript 6
nicolasAmat / Kong
Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).
petri-net structural-reductions reductions model-checking linear-algebra graph graph-algorithm
Language:Python 5
vedgar / izr
computability-theory turing-machine primitive-recursive-functions recursive-functions smn risc-architecture-processor decidability enumerator metaprogramming reductions macro-processor
Language:TeX 5
jeffhammond / KahanMPI
Implementation of Kahan summation for MPI reductions
mpi mpi-library reductions floating-point
Language:M4 1
p4czyk / reductions
Reductions from theoretical computer science
theoretical-computer-science reductions
Language:C++ 1
antonio-cirillo / 3sat-3
:evergreen_tree: Reduction from the 3sat-3 problem to the maximum flow problem.
3sat maximum-flow reductions
Language:Python 0
computational-problem-solving / js-2sat
:satisfied: 2-Satisfiability library for JavaScript
sat-solver 2-sat algorithms computer-science javascript graphs reductions polynomial-time agpl
Language:JavaScript 0
mateibarbu19 / algorithm-analysis
This repo provides homework solutions for the Algorithm Analysis course taught at Politehnica University of Bucharest.
algorithm-analysis reduction reductions cpp latex bash
Language:TeX 0
scriptographers / CS218-Assignments
All assignments for CS 218: Design and Analysis of Algorithms, Spring 2021, IIT Bombay
greedy-algorithms divide-and-conquer dynamic-programming flow-networks reductions p-vs-np
Language:TeX 0
asubramanian08 / PACT-Group-2
Approximation and randomized algorithms - PACT group 2 with Dr. Rajiv Gandhi
approximation-algorithms cs-theory pact proofs randomized-algorithm reductions
aureooms-research / pats-game-solutions
:video_game: Solutions for the game found in http://oeis.org/A070214
research counting sat-solver reductions clique stable-set triangles convex-polyhedron tripod-packing oeis-a070214
nandadeepd / programming-scala
Small scale scala compiler and interpreter
compilers language-semantics lexical-analysis programming-languages reductions scala
Language:Scala
wilfreddenton / fold-ts
experimental fold implementation
typescript fold folding reduction reductions javascript haskell existential-types
Language:TypeScript