certifier-algorithm

There are 0 repository under certifier-algorithm topic.

SleekPanther / 3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
np-hard np-complete np p exp certifier-algorithm certificate clause negation cnf conjunctive-normal-form 3-sat 3-satisfiability circuit-satisfiability computational-instability 3sat sat satisfiability literals compound-boolean
Language:Java 1