Resolving 3-SAT in Linear Time via Macro-Switch Implication Graphs

 (zenodo.org)

1 points | by RudraCS 9 hours ago ago

1 comments