DNA
2003
Springer
13 years 10 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...