Institute of Computing, University of Campinas;
机译:基于非约束约束条件识别的有效分析线性程序的KKT单纯形法
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:在“综合海洋钻探计划”远征队307期间钻探的东北大西洋深水珊瑚丘的成因和生长历史的年龄限制
机译:对油井钻井问题的掌握和约束规划的比较实验
机译:与早期古近纪快速大量注入碳有关的海洋酸化限制:赤道太平洋海洋钻探计划站点1215的地质记录。
机译:将土壤硅改良剂纳入播种水稻害虫的管理计划中
机译:FY 79 Lava Lake钻井计划:钻井实验结果
机译:计算机辅助结构钻练习与初学德国学生计算机辅助语义练习实践:比较实验