Concepedia

Dimitris J. Kavvadias

DJ

10

Publications

518

Citations

10

H-Index

1988

Active since

Affiliations

University of Patras(Current)

Athens University of Economics and Business

Dimitris J. Kavvadias is an author at University of Patras specializing in computer science, engineering, and computational complexity.

Top concepts

EngineeringComputer ScienceComputational ComplexityCircuit ComplexityAutomated ReasoningComputer EngineeringDiscrete MathematicsMathematical ProgrammingCombinatorial OptimizationFormal Methods

Publications per year

1988–2008

10

Publications

10

Probabilistic satisfiability

George Georgakopoulos, Dimitris J. Kavvadias, Christos H. Papadimitriou · Journal of Complexity · 1988 · 191 citations

An Efficient Algorithm for the Transversal Hypergraph Generation

Dimitris J. Kavvadias, Elias C. Stavropoulos · Journal of Graph Algorithms and Applications · 2005 · 70 citations · Full text

Directed Graph, Engineering, Network Analysis +17

A linear programming approach to reasoning about probabilities

Dimitris J. Kavvadias, Christos H. Papadimitriou · Annals of Mathematics and Artificial Intelligence · 1990 · 62 citations

Mathematical Programming, Engineering, Automated Reasoning +7

The Inverse Satisfiability Problem

Dimitris J. Kavvadias, Martha Sideri · SIAM Journal on Computing · 1998 · 47 citations

Circuit Complexity, Engineering, Boolean Function +15

Generating all maximal models of a Boolean expression

Dimitris J. Kavvadias, Martha Sideri, Elias C. Stavropoulos · Information Processing Letters · 2000 · 45 citations

Circuit Complexity, Mathematical Programming, Engineering +6

Rows per page

1–5 of 10