Knowledge-based RPM Solver