#
np
Here are 5 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
This is a project of the SS19 concurrent programming lecture at UdS
-
Updated
Aug 7, 2019 - Java
-
Updated
Jun 24, 2024 - Java
Improve this page
Add a description, image, and links to the np topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the np topic, visit your repo's landing page and select "manage topics."