Enhancing Davis Putnam with extended binary clause reasoning (0)

by F Bacchus
Venue:in: Proceedings of the 18th AAAI, 2002