RCA-Based Detection Methods for Resolution Refutation.

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

Browse the full DNA paper archive.