A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines.

Hiromu Hiidome, Yuichi Goto, Jingde Cheng

Browse the full ACIIDS paper archive.