Griffith University and the Australian National University, Australia;
机译:ITSAT:基于SAT的高效时间规划器
机译:ITSAT:基于SAT的高效时间规划器
机译:T-SATPLAN:基于SAT的时间计划器
机译:与SAT的工程高效规划者
机译:高效采样SAT和SMT解决方案进行测试和验证
机译:多标准优化使经验不足的计划人员能够有效地制定头颈癌放射治疗的高质量治疗计划
机译:鸟:工程有效的CNF-XOR SAT求解器及其应用于近似模型计数