PSICO公司

此软件的关键字
zbMATH中的参考文献(参考
Schichl,Hermann;Domes,Ferenc;Montanher,Tiago;Kofler,Kevin:Interval unions(2017年) Campeotto,Federico;Dal Palù,Alessandro;Dovier,Agostino;Fioretto,Ferdinando;Pontelli,Enrico:弹性蛋白质模型的约束求解器(2013) ioport公司 Domes,Fence;Neumaier,Arnold:使用线性松弛的严格滤波(2012) Domes,Ferenc;Neumaier,Arnold:二次约束的约束传播(2010) Ullah,A.Dayem;Kapsokalivas,L.;Mann,M.;Steinhöfel,K.:两阶段优化的蛋白质折叠模拟(2009) Kamarainen,Olli;El Sakkout,Hani:基于局部搜索构建完整算法的框架(2007) Krippahl,Ludwig;Barahona,Pedro:将约束编程应用于刚体蛋白质对接(2005) Correia,Marco;Barahona,Pedro:机器学习的启发式改进约束满意度(2004) Katriel,Irit;Thiel,Sven:全球基数约束的快速一致性(2003) Krippahl,Ludwig;Barahona,Pedro:用约束规划和优化求解蛋白质结构(2002)