Generating all maximal models of a Boolean expression
. 2000. “Generating All Maximal Models Of A Boolean Expression”. Information Processing Letters 74: 157–162.
Elias C. Stavropoulos Publications
Evaluation of an algorithm for the transversal hypergraph problem
. 1999. “Evaluation Of An Algorithm For The Transversal Hypergraph Problem”. In Algorithm Engineering, Algorithm Engineering, Springer, 72–84.
On the maximal models of Horn formulas
. 1998. On The Maximal Models Of Horn Formulas. Citeseer.
On a resolution theorem for maximal models
. 1998. On A Resolution Theorem For Maximal Models. Citeseer.
A new hybrid genetic algorithm for global optimization
. 1997. “A New Hybrid Genetic Algorithm For Global Optimization”. Nonlinear Analysis: Theory, Methods & Applications 30: 4529–4538.