...
机译:基于约束和基于SAT的汽车配置问题诊断
Eberhard Karls Univ Tubingen, WSI Informat, Symbol Computat Grp, Tubingen, Germany;
Graz Univ Technol, Inst Software Technol, Graz, Austria;
Eberhard Karls Univ Tubingen, WSI Informat, Symbol Computat Grp, Tubingen, Germany;
Diagnosis; Preferences; Optimization; Constraints; SAT; Automotive; Configuration;
机译:嵌入式汽车软件基于约束的配置
机译:基于约束的汽车供应行业油漆店的调度
机译:用于汽车操作系统的基于约束的测试生成
机译:用于自主网络配置管理的基于约束的配置复杂性模型
机译:基于约束的自主移动机器人任务选择和配置
机译:基于视觉传感器数据的新型半监督特征提取方法及其在汽车装配故障诊断中的应用
机译:基于SAT的工具,用于解决配置问题