GitHub repository: srogatch/bsat-circulation
Primary language: C++
Created: 2024-03-08T06:31:05Z
Description: P=NP? A reduction of CNF boolean satisfiability to the circulation problem in an undirected graph