×

皮科索

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文件

连载1篇

1 约束条件

按年份列出的引文