1. IEEE standard for floating-point arithmetic: IEEE Std 754–2008, pp. 1–70 (2008)
2. Lecture Notes in Computer Science;M Abseher,2017
3. Abseher, M., Musliu, N., Woltran, S.: Improving the efficiency of dynamic programming on tree decompositions via machine learning. J. Artif. Intell. Res. 58, 829–858 (2017)
4. Bacchus, F., Dalmao, S., Pitassi, T.: Algorithms and complexity results for #SAT and Bayesian inference. In: Chekuri, C.S., Micciancio, D. (eds.) Proceedings of the 44th IEEE Symposium on Foundations of Computer Science (FOCS 2003), pp. 340–351. IEEE Computer Society, Cambridge, October 2003
5. Lecture Notes in Computer Science;J Burchard,2015