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