K. Subramani, Matthew Williamson, Xiaofeng Gu. Improved algorithms for optimal length resolution refutation in difference constraint systems. Formal Asp. Comput., 25(2):319-341, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.