Solving design problems in a logic-based visual design environment | IEEE Conference Publication | IEEE Xplore