Experimental Results on Propositional Theorem Proving with Boolean Ring
碩士 === 國立臺灣大學 === 資訊工程學系 === 85 === The Boolean ring method for propositional theorem proving obtains much attention in recent years. We show in this paper the limitations of simplification principle in the Boolean ring method by implement...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1997
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/42077383822424899620 |