About Tseitin's transformation in logical equations
Download file
Counter downloads: 288
Keywords
Authors
| Name | Organization | |
| Semenov A. A. | Institute of System Dynamics and Control Theory SB RAS, Irkutsk | biclop@rambler.ru |
References
Цейтин Г. С. О сложности вывода в исчислении высказываний / / Записки научных семинаров ЛОМИ АН СССР. 1968. Т. 8. С. 234-259.
Данцин Е. Я. Алгоритмика задачи выполнимости / / Вопросы кибернетики. Проблемы сокращения перебора. М.: АН СССР, 1987. С. 7-29.
Waisberg M. Untersuchungen uber den Aussagen kalkul von Heyting //Wiadomosci Matematyczne. 1938. V. 46. P. 45-101.
Tseitin G. On the complexity of derivation in propositional calculus / / Automat. Reasoning. 1983. V. 2. P. 466-483.
Plaisted D., Greenbaum S. A Structure-preserving Clause Form Translation / / J. Symbolic Computation. 1986. V. 2. P. 293-304.
Groote J. F., Zantema H. Resolution and binary decision diagrams cannot simulate each other polynomially / / J. Discrete Appl. Mathematics. 2003. 130:2. P. 157-171.
Een N., Sorensson N. Translating Pseudo-Boolean Constraints into SAT / / J. Satisfiability, Boolean Modeling and Computation. 2006. No. 2. P. 1-25.
Семенов А. А., Заикин О. С., Беспалов Д. В., Ушаков А. А. SAT-подход в криптоанализе некоторых систем поточного шифрования / / Вычислительные технологии. 2008. Т. 13. №6. С. 134-150.
