101
click to vote
DNA
2003
Springer
15 years 8 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...