| |
| 2003 | ||
|---|---|---|
| 2 | EE | In-Hee Lee, Ji-Yoon Park, Young-Gyu Chai, Byoung-Tak Zhang: RCA-Based Detection Methods for Resolution Refutation. DNA 2003: 32-36 |
| 2002 | ||
| 1 | EE | In-Hee Lee, Ji-Yoon Park, Hae-Man Jang, Young-Gyu Chai, Byoung-Tak Zhang: DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic. DNA 2002: 156-167 |
| 1 | Young-Gyu Chai | [1] [2] |
| 2 | Hae-Man Jang | [1] |
| 3 | In-Hee Lee | [1] [2] |
| 4 | Byoung-Tak Zhang | [1] [2] |