@article {kavvadias2005efficient, title = {An efficient algorithm for the transversal hypergraph generation.}, journal = {J. Graph Algorithms Appl.}, volume = {9}, number = {2}, year = {2005}, pages = {239{\textendash}264}, author = {Kavvadias, Dimitris J and Elias C. Stavropoulos} } @booklet {kavvadias2003checking, title = {Checking monotone Boolean duality with limited nondeterminism}, year = {2003}, publisher = {Citeseer}, author = {Kavvadias, Dimitris J and Elias C. Stavropoulos} } @article {kavvadias2003monotone, title = {Monotone boolean dualization is in co-NP [log 2 n]}, journal = {Information Processing Letters}, volume = {85}, number = {1}, year = {2003}, pages = {1{\textendash}6}, publisher = {Elsevier}, author = {Kavvadias, Dimitris J and Elias C. Stavropoulos} } @article {kavvadias2001technical, title = {TECHNICAL REPORT No. TR2001/12/03}, year = {2001}, institution = {Citeseer}, author = {Kavvadias, Dimitris J and Elias C. Stavropoulos} } @article {kavvadias2000generating, title = {Generating all maximal models of a Boolean expression}, journal = {Information Processing Letters}, volume = {74}, number = {3}, year = {2000}, pages = {157{\textendash}162}, publisher = {Elsevier}, author = {Kavvadias, Dimitris J and Sideri, Martha and Elias C. Stavropoulos} } @inbook {kavvadias1999evaluation, title = {Evaluation of an algorithm for the transversal hypergraph problem}, booktitle = {Algorithm Engineering}, year = {1999}, pages = {72{\textendash}84}, publisher = {Springer}, organization = {Springer}, author = {Kavvadias, Dimitris J and Elias C. Stavropoulos} } @article {kavvadias1998maximal, title = {On the maximal models of Horn formulas}, year = {1998}, institution = {Citeseer}, author = {Kavvadias, Dimitris J and Sideri, Martha and Elias C. Stavropoulos} } @article {kavvadias1998resolution, title = {On a resolution theorem for maximal models}, year = {1998}, institution = {Citeseer}, author = {Kavvadias, Dimitris J and Elias C. Stavropoulos} }