On-the-Fly Lazy Clause Simplification Based on Binary Resolvents.

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue

Browse the full ICTAI paper archive.