机译:可满足性模理论与基于指标的演化算法相结合的并行框架,用于配置大型和实际软件产品线
机译:满意度模理论的框架
机译:ToolBus框架中的分布式可满足性模理论求解器的原型实现
机译:牵连生成模理论的通用框架
机译:了解第一代大学生的信念和期望:通过调查社会阶级身份,阶级主义,大学自我效能感和大学成果扩展来应用社会认知职业理论和心理社会文化框架
机译:泛型框架中的热量理论
机译:多排互补 - FET(CFET)标准电池合成框架使用可满足模数理论(SMT)
机译:基于可满足模理论方法的模糊逻辑控制器稳定性分析。