Reactive Synthesis; SAT-Solving; Quantified Boolean Formulas; Effectively Propositional Logic;
机译:ESR光谱法研究铜(II)与芳基取代的水杨基亚二氢azo酮的络合物的合成与研究
机译:功能安全验证中基于SAT的故障等效检查
机译:基于SAT的精确合成:编码,拓扑系列和并行性
机译:基于SAT的安全规范综合方法
机译:联网车辆对交通机动性,安全性和排放的量化影响的综合:高速公路设施的方法和模拟效果。
机译:SPECS:一种非参数方法用于识别不平衡样品组的组织特异性分子特征
机译:基于sat的安全规范综合方法
机译:小型汽车运输船的安全管理。商用卡车和客车安全综合计划(CTBssp)综合22.安全实践的综合