Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/sleekpanther/3-sat-certifier

A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
https://github.com/sleekpanther/3-sat-certifier

3-sat 3-satisfiability 3sat certificate certifier-algorithm circuit-satisfiability clause cnf compound-boolean computational-instability conjunctive-normal-form exp literals negation np np-complete np-hard p sat satisfiability

Last synced: about 1 month ago
JSON representation

A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem

Awesome Lists containing this project