Circuit partitioning by quadratic Boolean programming for reconfigurable circuit boards | IEEE Conference Publication | IEEE Xplore