#
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
-
Updated
Jun 24, 2024 - Java
This is a project of the SS19 concurrent programming lecture at UdS
-
Updated
Aug 7, 2019 - 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."