皮科索 swMATH ID: 11455 软件作者: Kalinnik,N.、Schubert,T.、Al brahám,E.、Wimmer,R.、Becker,B。 描述: Picoso-并行区间约束求解器。用于线性和非线性算术约束的布尔组合的并行SMT求解器;基于主/客户模型;使用消息传递接口(MPI)进行通信;客户端的算法核心由iSAT构成。 主页: https://ai2neu.inf.uni-bayreuth.de/~kalinnik/pub/ppicoso.pdf 相关软件: 超小卫星;SATO公司;玲玲;PaSAT公司;帕米拉;齐塔卫星;安托姆;QMiraXT公司;PMSat公司;NAGSAT公司;PMiniSAT公司;SArTagnan公司;加密MiniSat;DIMACS公司;PrecoSAT公司;周六4j;PicoSAT卫星;弯曲;帕奎贝;PaMiraXT公司 引用于: 1文件 3位作者引用 1 林奇,因斯 1 Vasco M.Manquinho。 1 鲁本·马丁斯 连载1篇 1 约束条件 在1个字段中引用 1 运筹学、数学规划(90-XX) 按年份列出的引文