SNARKWhat did we do under HPKB?
Implemented a more efficient sort reasoning method
Binary decision diagram vs Davis Putnam
Implemented a partial KIF Interface
Used procedural attachment for OKBC calls
Previous slide
Next slide
Back to first slide
View graphic version