Publications
Export 8 results:
Filters: Author is Kavvadias, Dimitris J [Clear All Filters]
“An Efficient Algorithm For The Transversal Hypergraph Generation.”. J. Graph Algorithms Appl. 9: 239–264.
. 2005. “Monotone Boolean Dualization Is In Co-Np [Log 2 N]”. Information Processing Letters 85: 1–6.
. 2003. Technical Report No. Tr2001/12/03. Citeseer.
. 2001. “Generating All Maximal Models Of A Boolean Expression”. Information Processing Letters 74: 157–162.
. 2000. “Evaluation Of An Algorithm For The Transversal Hypergraph Problem”. In Algorithm Engineering, Algorithm Engineering, Springer, 72–84.
. 1999. On The Maximal Models Of Horn Formulas. Citeseer.
. 1998. On A Resolution Theorem For Maximal Models. Citeseer.
. 1998.