A method of finding simple disjunctive decomposition with one free variable
From MaRDI portal
Publication:1144552
DOI10.1016/0045-7906(80)90037-3zbMath0443.94036OpenAlexW2085653251MaRDI QIDQ1144552
Publication date: 1980
Published in: Computers and Electrical Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0045-7906(80)90037-3
This page was built for publication: A method of finding simple disjunctive decomposition with one free variable