A proof-producing boolean search engine

Clark Barrett, Sergey Berzin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03)
StatePublished - 2003

Cite this

Barrett, C., & Berzin, S. (2003). A proof-producing boolean search engine. In Proceedings of the 1st international workshop on pragmatic of decision procedures in automated reasoning, July 2003, Miami, Florida, (PDPAR '03)