Software translating of combinatorial problems to propositional logic
Download file
Counter downloads: 271
Keywords
Authors
| Name | Organization | |
| Otpuschennikov I. V. | Institute of System Dynamics and Control Theory SB RAS, Irkutsk | otilya@yandex.ru |
| Semenov A. A. | Institute of System Dynamics and Control Theory SB RAS, Irkutsk | biclop@rambler.ru |
References
Massacci F., Marraro L. Logical Cryptanalysis as a SAT Problem / / J. Automated Reasoning. 2000. V. 24. No. 1-2. P. 165-203.
Буранов Е. В. Программная трансляция процедур логического криптоанализа симметричных шифров / / Вестник Томского госуниверситета. Приложение. 2004. №9(1). С. 60-65.
http://www.veripool.org/
Berkeley Logic Synthesis and Verification Group, ABC: A System for Sequential Synthesis and Verification. http://www.eecs.berkeley.edu/~alanmi/abc/.
Семёнов А. А Трансляция алгоритмов вычисления дискретных функций в выражения пропозициональной логики / / Прикладные алгоритмы в дискретном анализе. Сер. Дискретный анализ и информатика. Иркутск: Изд-во ИГУ, 2008. Вып. 2. С. 70-98.
EenN., Sorensson N. Translating Pseudo-Boolean Constraints into SAT / / J. Satisfiabil., Boolean Model. Computat. 2006. No. 2. P. 1-25.
