Generating all maximal models of a Boolean expression

TitleGenerating all maximal models of a Boolean expression
Publication TypeJournal Article
Year of Publication2000
AuthorsKavvadias, DJ, Sideri, M, Stavropoulos, EC
JournalInformation Processing Letters
Volume74
Pagination157–162