Knowledge-Based Solvers for RGT Combinatorial Problems | IEEE Conference Publication | IEEE Xplore