On the Complexities of Selected Satisfiability and Equivalence Queries over Boolean Formulas and Inclusion Queries over Hulls

K. Subramani. On the Complexities of Selected Satisfiability and Equivalence Queries over Boolean Formulas and Inclusion Queries over Hulls. JAMDS, 2009, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.