Generating all maximal models of a Boolean expression

DOI10.1016/S0020-0190(00)00023-5zbMath1339.03015MaRDI QIDQ294760

Could not fetch data.

Publication date: 16 June 2016

Published in: (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.