About convergence of a hybrid SAT+ROBDD-derivation
Download file
Counter downloads: 273
Keywords
Authors
| Name | Organization | |
| Semenov A. A. | Institute of System Dynamics and Control Theory, Siberian Branch of the Russian Academy of Sciences (Irkutsk) | biclop.rambler@yandex.com |
| Ignatiev A. S. | Instituto de Engenharia de Sistemas e Computadores (Lisboa, Portugal) | alexey.ignatiev@gmail.com |
References
Biere A., Heule M., van Maaren H., and Walsh T. Handbook of Satisfiability. IOS Press, 2009.
Отпущенников И. В., Семенов А. А. Технология трансляции комбинаторных проблем в булевы уравнения // Прикладная дискретная математика. 2011. №1. С. 96-115.
Jarvisalo M. and Junttila T. Limitations of restricted branching in clause learning // Constraints. 2009. V. 14. No. 3. P. 325-356.
Семенов А. А. Декомпозиционные представления логических уравнений в задачах обращения дискретных функций // Изв. РАН. Теория и системы управления. 2009. №5. С.47-61.
Ignatiev A. S. and SemenovA.A. DPLL+ROBDD derivation applied to inversion of some cryptographic functions // LNCS. 2011. V.6695. P. 76-89.
Bryant R. E. Graph-Based Algorithms for Boolean Function Manipulation // IEEE Trans. Comput. 1986. V. 35. No. 8. P. 677-691.
