Balancing abstraction and implementation constraints when specifying problems | IEEE Conference Publication | IEEE Xplore