Transformation of CNF via resolution | Applied Discrete Mathematics. Supplement. 2009. № 1.

HomeIssuesTransformation of CNF via resolution | Applied Discrete Mathematics. Supplement. 2009. № 1.

Transformation of CNF via resolution

Download file
Counter downloads: 267

Keywords

Authors

NameOrganizationE-mail
Khnykin I. G.Omsk State Technical Universityhig82@rambler.ru
Всего: 1

References

Дулькейт В. И., Файзуллин Р. Т., Хныкин И. Г. Алгоритм минимизации функционала, ассоциированного с задачей 3-SAT, и его практические применения / / Компьютерная оптика. 2008. Т. 32. №1. С. 68-73.
Дулькейт В. И. КНФ-представления для задач факторизации и дискретного логарифмирования / / Проблемы теоретической и прикладной математики: Труды 38-й Региональной молодежной конференции. Екатеринбург: УрО РАН, 2007. С. 350-355.
www.rsasecurity.com - RSA, The Security Division of EMC - Security Solutions for Business Acceleration
Transformation of CNF via resolution | Applied Discrete Mathematics. Supplement. 2009. № 1.

Transformation of CNF via resolution | Applied Discrete Mathematics. Supplement. 2009. № 1.