Search for tag: "clausal"

CL - 14a - Tseytin Week 9

In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell.

+23 More
From  Haoran Peng 0 likes 302 plays 0