Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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
- Host: GitHub
- URL: https://github.com/sleekpanther/3-sat-certifier
- Owner: SleekPanther
- Created: 2017-04-30T16:29:40.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2017-05-18T22:39:39.000Z (over 7 years ago)
- Last Synced: 2023-03-06T01:52:02.742Z (almost 2 years ago)
- Topics: 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
- Language: Java
- Homepage:
- Size: 16.6 KB
- Stars: 1
- Watchers: 1
- Forks: 1
- Open Issues: 0