Miroslav Kvassay, Elena Zaitseva, Vitaly G. Levashenko, Jozef Kostolny. Multi-valued Decision Diagrams for k-Out-of-n Three-State Systems. In 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017. pages 260-265, IEEE Computer Society, 2017. [doi]
Abstract is missing.