DNA
2003
Springer
14 years 5 months ago
2003
Springer
In molecular resolution refutation, the detection of empty clauses is important. We propose a rolling circle amplification-based detection method for resolution refutation. The ro...