Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani. The Complexity of Finding Read-Once NAE-Resolution Refutations. In Sujata Ghosh, Sanjiva Prasad, editors, Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. Volume 10119 of Lecture Notes in Computer Science, pages 64-76, Springer, 2017. [doi]
Abstract is missing.