Journal of Applied Mathematics and Decision Sciences
Volume 2009 (2009), Article ID 845804, 18 pages
doi:10.1155/2009/845804
Research Article

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

K. Subramani

LDCSEE, West Virginia University, Morgantown, WV 26506, USA

Received 5 November 2008; Accepted 14 April 2009

Academic Editor: Ron McGarvey

Copyright © 2009 K. Subramani. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

K. Subramani, “On the Complexities of Selected Satisfiability and Equivalence Queries over Boolean Formulas and Inclusion Queries over Hulls,” Journal of Applied Mathematics and Decision Sciences, vol. 2009, Article ID 845804, 18 pages, 2009. doi:10.1155/2009/845804