A rule-based inference engine which is optimal and VLSI implementable | IEEE Conference Publication | IEEE Xplore