← All repos

anjlab/sat3

View on GitHub ↗ ★ 93 Java

Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2011-01-19 · latest 2011-01-20