Alternative modeling schemes for propositional calculus problem
The main objective of this paper is to discuss alternative approaches to convert a propositional logic problem into a 0-1 integer program. The substitution method proposed by Williams and CNF method is used for modeling and representation of logical inference problem. The similarity between the tw...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Khon Kaen University
2016-08-01
|
| Series: | KKU Engineering Journal |
| Subjects: | |
| Online Access: | https://www.tci-thaijo.org/index.php/kkuenj/article/download/43550/51972 |