Title of article :
Generating all maximal models of a Boolean expression
Author/Authors :
Dimitris J. Kavvadias، نويسنده , , Martha Sideri، نويسنده , , Elias C. Stavropoulos، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2000
Keywords :
Transversal hypergraph , computational complexity , Algorithms , Maximal model generation , Output-polynomial
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
