On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4

by Καββαδίας, Δημήτρης, Σταυρόπουλος, Ηλίας Χ.
Published 1998

The nondeterministic complexity of the fredman and khachiyan algorithm for the dualization of monotone DNFs CTI Technical Report 2001/12/03

by Καββαδίας, Δημήτρης, Σταυρόπουλος, Ηλίας Χ.
Published 2001

On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17

by Καββαδίας, Δημήτρης, Σιδέρη, Μάρθα, Σταυρόπουλος, Ηλίας Χ.
Published 1998

A new algorith for the transversal hypergraph problem. CTI TR 99/03/03

Published 1999

Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02

Published 2003