reductions

Star

Here are 14 public repositories matching this topic...

KarlsruheMIS / KaMIS

Star

Maximum independent sets and vertex covers of large sparse graphs.

algorithm graph reductions datareduction sparse-graphs maximum-independent-sets kernelization

Updated Jan 16, 2023
C++

nicolasAmat / SMPT

Star

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

linear-algebra reachability abstraction model-checking petri-nets smt model-checker sat reductions reachability-analysis structural-reductions smt-solving

Updated Mar 1, 2023
Python

hishamcse / Algorithms-Princeton-Combined

Star

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

algorithms graph-algorithms regex linear-programming reduction data-structures sorting-algorithms searching-algorithms minimum-spanning-trees compression-algorithm string-algorithms reductions burrows-wheeler-transform algs4 shortest-path codinginterview princeton-algorithms maxflow-mincut

Updated Oct 8, 2021
Java

computational-problem-solving / sat

Star

😆 Boolean formula satisfiability algorithms for JavaScript

javascript computer-science algorithms agpl np-complete sat-solver reductions k-sat sat0w

Updated Feb 21, 2023
JavaScript

nicolasAmat / Kong

Star

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

graph linear-algebra model-checking petri-net reductions graph-algorithm structural-reductions

Updated Dec 4, 2022
Python

vedgar / izr

Star

metaprogramming recursive-functions enumerator turing-machine reductions macro-processor smn primitive-recursive-functions computability-theory risc-architecture-processor decidability

Updated Oct 31, 2022
TeX

jeffhammond / KahanMPI

Star

Implementation of Kahan summation for MPI reductions

mpi floating-point mpi-library reductions

Updated Aug 10, 2017
M4

asubramanian08 / PACT-Group-2

Star

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

pact proofs cs-theory reductions approximation-algorithms randomized-algorithm

Updated Aug 30, 2022

nandadeepd / programming-scala

Star

Small scale scala compiler and interpreter

scala programming-languages lexical-analysis compilers reductions language-semantics

Updated Feb 19, 2019
Scala

scriptographers / CS218-Assignments

Star

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

dynamic-programming greedy-algorithms reductions divide-and-conquer flow-networks p-vs-np

Updated Apr 16, 2021
TeX

computational-problem-solving / js-2sat

Star

😆 2-Satisfiability library for JavaScript

javascript computer-science algorithms graphs agpl sat-solver 2-sat reductions polynomial-time

Updated Jun 26, 2022
JavaScript

wilfreddenton / fold-ts

Star

experimental fold implementation

javascript haskell typescript fold reduction folding reductions existential-types

Updated Jan 5, 2023
TypeScript

mateibarbu19 / algorithm-analysis

Star

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

bash latex cpp reduction algorithm-analysis reductions

Updated Dec 19, 2021
TeX

aureooms-research / pats-game-solutions

Star

🎮 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

Updated Mar 29, 2016

Improve this page

Add a description, image, and links to the reductions topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the reductions topic, visit your repo's landing page and select "manage topics."

Learn more