#
p
Here are 7 public repositories matching this topic...
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
certificate
literals
np-hard
np-complete
cnf
p
negation
sat
np
exp
3sat
clause
satisfiability
3-sat
certifier-algorithm
conjunctive-normal-form
3-satisfiability
circuit-satisfiability
computational-instability
compound-boolean
-
Updated
May 18, 2017 - Java
-
Updated
Aug 6, 2018 - Java
Improve this page
Add a description, image, and links to the p topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the p topic, visit your repo's landing page and select "manage topics."