An algorithm for the class of pure implicational formulas : The Satisfiability Problem
Saved in:
Published in | Discrete applied mathematics Vol. 96-97; pp. 89 - 106 |
---|---|
Main Authors | , , , , |
Format | Journal Article |
Language | English |
Published |
Amsterdam
Elsevier
1999
New York, NY Lausanne |
Subjects | |
Online Access | Get full text |
Cover
Loading…
ISSN: | 0166-218X 1872-6771 |
---|