Performance Testing of Propositional Logic Inference Engines
Richard C. Hicks, Keith C. Wright · Journal of Computer Information Systems · 2015
Speed is a significant factor in the implementations of rule-based systems, and many inference engines slow dramatically as the size of the problem increases. Test sets such as Waltz and Manners me...