机译:关于随机不满足的k-Sat实例的一些结果以及应用t随机结构的近似算法
机译:工业SAT实例中的社区结构
机译:工业SAT实例中的社区结构
机译:DPVIS - 一种可视化SAT实例结构的工具
机译:拉格朗日相干结构和轨迹相似性:科学可视化的两个重要工具。
机译:GenePainter:一种快速的工具用于对齐真核蛋白家族的基因结构可视化比对并将基因结构映射到蛋白质结构上
机译:有效的本地搜索SAT求解器,具有有效的结构化实例预处理
机译:开放,跨平台化学应用统一结构操作,外部工具,数据库和可视化