找回密码
 新注册用户
搜索
查看: 6908|回复: 6

[项目新闻] [BOINC] [计算机学] SAT@home

[复制链接]
发表于 2012-2-22 13:08:51 | 显示全部楼层 |阅读模式
本帖最后由 Schumacher 于 2012-2-23 10:49 编辑

http://sat.isa.ru/pdsat/

SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. Currently in the project problems of inversion of some cryptographic functions used in stream ciphers are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem within the project. Project was implemented using DC-API library.

SAT@home founded by
Institute for Systems Analysis of Russian Academy of Sciences, department of Distributed Computing - a founding member of the International Desktop Grid Federation
Institue for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Science, laboratory of Discrete Analysis and Applied Logic
回复

使用道具 举报

发表于 2012-2-23 04:13:38 | 显示全部楼层
这个果断是计算机科学,因为是用sat solver(更具体来说是minisat的变种)来解各种SAT问题的。
回复

使用道具 举报

发表于 2013-4-28 21:33:10 | 显示全部楼层
April 26, 2013, 7:52 UTC        

SAT @ home - Ph.D. in Mathematics - CPU (weightlifting) BOINC pentathlon in 2013.
SAT @ home is a candidate in category Mathematics - CPU (Weightlifting) of BOINC Pentathlon 2013.

SAT @ home - 数学博士 - CPU(举重)2013年BOINC五项赛
SAT @ home 是数学类的候选人 - CPU(举重)2013年BOINC五项赛。
回复

使用道具 举报

发表于 2013-10-20 21:35:34 | 显示全部楼层
[BOINC][计算机科学] SAT@home
2013-10-20:当前实验的结果发布在以下链接之中:http://sat.isa.ru/pdsat/solutions.php
回复

使用道具 举报

发表于 2014-1-30 21:40:51 | 显示全部楼层
2014-01-29: SAT@home, Waiting for a new experiment

In the current experiment all workunits were generated. New experiment is coming soon. One's goal is to analyze cryptographic cipher Bivium.

[BOINC] [计算机学] SAT@home
33554
2014-01-29:正在等待一个新的试验。当前试验所需的所有任务包均已生成,新的试验马上就要来了!目标之一是分析Bivium的加密密码。
回复

使用道具 举报

发表于 2020-1-8 10:15:00 | 显示全部楼层
官网无法打开,BOINCstat上无相关信息。移入关闭项目区
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 新注册用户

本版积分规则

论坛官方淘宝店开业啦~

Archiver|手机版|小黑屋|中国分布式计算总站 ( 沪ICP备05042587号 )

GMT+8, 2024-3-29 18:56

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表