Kuhn Triangulation

Heard through CS287 in lecture 2, but I am not sure.

We don’t really go too much in detail about this.

Other people use it.

http://www.cs.utah.edu/~tch/notes/IR/SAT/Kuhn1.pdf