INESC-ID/IST, TU Lisbon, Portugal;
INESC-ID/IST, TU Lisbon, Portugal;
INESC-ID/IST, TU Lisbon, Portugal;
机译:应用于硬件软件分区的多核模型检查和最大可靠性
机译:使用L分区研究最大和最小可满足性问题
机译:配置格局分析和骨干引导的本地搜索。第一部分:满意度和最大满意度
机译:用于最大可靠性的分区
机译:最大二氧化碳捕获,封存和最大二氧化碳在发电部门的最佳成本效率下有益的重用,以解决全球温度升高
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:平方和,可满足性和最大可满足性