Inventing ET Rules to Improve an MI Solver on KR-logic.

Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama

Browse the full IC3K paper archive.