Resolving 3-SAT in Linear Time via Macro-Switch Implication Graphs(zenodo.org)
1 pointby RudraCS4 hours ago1 comment