RCA-Based Detection Methods for Resolution Refutation

In molecular resolution refutation, the detection of empty clauses is important. We propose a rolling circle amplification-based detection method for resolution refutation. The rolling circle amplification (RCA) technique is known to be able to distinguish and amplify circular DNA. In this paper, we describe the representation of clauses and the RCA-based detection method. Bio-lab experiments show the basic idea for this method is correct.

• Type: Conference
• Year: 2003
• Where: DNA
• Authors: In-Hee Lee, Ji-Yoon Park, Young-Gyu Chai, Byoung-Tak Zhang
• Keywords: Detection Method, DNA 2003, Resolution Refutation, Rolling Circle