reductions topic
List
reductions repositories
SMPT
27
Stars
5
Forks
Watchers
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
KaMIS
69
Stars
27
Forks
Watchers
Maximum independent sets and vertex covers of large sparse graphs.
Algorithms-Princeton-Combined
31
Stars
7
Forks
Watchers
This repository contains all the algorithms implementation & problems solution, assignment solution, Interview question solution & other related materials (Slides, Resources) related to Princeton Univ...