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.

From  Haoran Peng on November 18th, 2020 0 likes 278 plays 0