Loading paper
Solving 3-SAT and 3-dimensional matching in polynomial time | Tomesphere