Sciweavers

DAC
1998
ACM
13 years 9 months ago
Efficient Boolean Division and Substitution
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...
Shih-Chieh Chang, David Ihsin Cheng