Solving Lattice Point Problems by Propositional Reasoning with Isomorphism Cutting Strategy
碩士 === 國立臺灣大學 === 資訊工程學系 === 86 === Many finite domain problems in mathematics and computer science can be formulated in the form of propositional logic. A method called iomorphism cutting strategy is used to eliminate the symmetry of a problem and the...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1998
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/63294711803803543488 |