Generating all maximal models of a Boolean expression
Title | Generating all maximal models of a Boolean expression |
Publication Type | Journal Article |
Year of Publication | 2000 |
Authors | Kavvadias, DJ, Sideri, M, Stavropoulos, EC |
Journal | Information Processing Letters |
Volume | 74 |
Pagination | 157–162 |