A Proof-Producing Boolean Search Engine (2003)

Cached

Download Links

by Clark Barrett , Sergey Berezin
Venue:In Proceedings of PDPAR’03
Citations:14 - 6 self