102
click to vote
DAC
1998
ACM
15 years 6 months ago
1998
ACM
Boolean division, and hence Boolean substitution, produces better result than algebraic division and substitution. However, due to the lack of an efficient Boolean division algorit...