Optimal Kernels to Optimal Solutions: Algorithm and Software Issues in Solver Development | IEEE Conference Publication | IEEE Xplore