RCA-Based Detection Methods for Resolution Refutation.

In-Hee Lee Ji-Yoon Park Young-Gyu Chai Byoung-Tak Zhang

Published in: DNA (2003)

Keyphrases

information retrieval
case study
significant improvement
machine learning methods
qualitative and quantitative
real time
real world
machine learning
support vector
computational cost
machine learning algorithms
computationally expensive
methods require