Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics
-
Updated
Dec 14, 2022 - C++
#
circuit-satisfiability
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 circuit-satisfiability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the circuit-satisfiability topic, visit your repo's landing page and select "manage topics."