Title of article
Generating all maximal models of a Boolean expression
Author/Authors
Dimitris J. Kavvadias، نويسنده , , Martha Sideri، نويسنده , , Elias C. Stavropoulos، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2000
Pages
6
From page
157
To page
162
Keywords
Transversal hypergraph , computational complexity , Algorithms , Maximal model generation , Output-polynomial
Journal title
Information Processing Letters
Serial Year
2000
Journal title
Information Processing Letters
Record number
129222
Link To Document