Teaching and checking of constraints for surgical tray layoutLanbo SheJonathan Connell2017AAAI-SS 2017