An algorithm for the class of pure implicational formulas

• Authors:

• John Franco;Judy Goldsmith;John Schlipf;Ewald Speckenmeyer;R. P. Swaminathan

• Affiliations:

• -;-;-;-;-

• Venue:
• Discrete Applied Mathematics - Special issue on the satisfiability problem and Boolean functions
• Year:
• 1999