#
clause
Here are 2 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
Improve this page
Add a description, image, and links to the clause topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the clause topic, visit your repo's landing page and select "manage topics."