Генератор DIMACS CNF для чисел RSA Challenges : Криптография и Защита Информации

Сообщения без ответов | Активные темы | Избранное

Список форумов » Тематические обсуждения » Computer Science » Криптография и Защита Информации

Генератор DIMACS CNF для чисел RSA Challenges

Новая тема

Ответить

Печатать страницу | Печатать всю тему

Пред. тема | След. тема

hazzo

22/08/12
127

Уважаемые знатоки!
Есть ли в свободном доступе надежный генератор DIMACS CNF для чисел RSA Challenges http://en.wikipedia.org/wiki/RSA_numbers.

Спасибо.

-- 13.10.2014, 22:51 --

Есть такие:
http://cgi.cs.indiana.edu/~sabry/cnf.html,
https://toughsat.appspot.com/
но они для больших чисел не работают.

Профиль

Новая тема

Ответить

Страница 1 из 1

[ 1 сообщение ]

Модераторы: Toucan, PAV, maxal, Karan, Супермодераторы

Список форумов » Тематические обсуждения » Computer Science » Криптография и Защита Информации

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей

Соглашение о конфиденциальности | Общие правила

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group