Giters

sabidea23 / K-Clique-to-SAT

Compares an algorithm that solves the K-Clique problem exponentially with an algorithm that solves the polynomial transformation to SAT

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

np-problemsatkclique-problem

This repository is not active

About

Compares an algorithm that solves the K-Clique problem exponentially with an algorithm that solves the polynomial transformation to SAT

np-problemsatkclique-problem

Languages

Language:Java 96.5%Language:Makefile 3.5%