Propositional theorem proving by semantic tree trimming for hardware verification

• Authors:

• David Plaisted;William John Yakowenko

• Affiliations:

• -;-

• Venue:
• Propositional theorem proving by semantic tree trimming for hardware verification
• Year:
• 1999