Young-Gyu Chai

DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic

Byoung-Tak Zhang, In-Hee Lee, Ji-Yoon Park, 2002, DNA.

An evolutionary Monte Carlo algorithm for predicting DNA hybridization

Byoung-Tak Zhang, Dong-Yoon Lee, Yung-Kyun Noh, 2008, Biosyst..

RCA-Based Detection Methods for Resolution Refutation

Byoung-Tak Zhang, In-Hee Lee, Ji-Yoon Park, 2003, DNA.

Version Space Learning with DNA Molecules

Byoung-Tak Zhang, Hae-Man Jang, Young-Gyu Chai, 2002, DNA.

A Lab-on-a-Chip Module for Bead Separation in DNA-Based Concept Learning

Byoung-Tak Zhang, Hae-Man Jang, Young-Gyu Chai, 2003, DNA.