Efficient cancer therapy using Boolean networks and Max-SAT-based ATPG | IEEE Conference Publication | IEEE Xplore