francoisschwarzentruber / reductioncatalog

Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)

https://francoisschwarzentruber.github.io/reductioncatalog/

Geek Repo

Github PK Tool