DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic.

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

Browse the full DNA paper archive.