New applications of a fast propositional calculus decision procedure

• Authors:

• Shie-Jue Lee;David A. Plaisted

• Affiliations:

• -;-

• Venue:
• Proceedings of the eighth biennial conference of the Canadian Society for Computational Studies of Intelligence on CSCSI-90
• Year:
• 1990