Alexander Semenov, Oleg Zaikin. On the Accuracy of Statistical Estimations of SAT Partitionings Effectiveness in Application to Discrete Function Inversion Problems. In Alexandr Kononov, Igor Bykadorov, Oleg Khamisov, Ivan Davydov, Polina Kononova, editors, Supplementary Proceedings of the 9th International Conference on Discrete Optimization and Operations Research and Scientific School (DOOR 2016), Vladivostok, Russia, September 19 - 23, 2016. Volume 1623 of CEUR Workshop Proceedings, pages 261-275, CEUR-WS.org, 2016. [doi]
Abstract is missing.