Quasipolynomial Simulation of DNNF by a Non-determinstic Read-Once Branching Program

Igor Razgon. Quasipolynomial Simulation of DNNF by a Non-determinstic Read-Once Branching Program. In Gilles Pesant, editor, Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings. Volume 9255 of Lecture Notes in Computer Science, pages 367-375, Springer, 2015. [doi]

Abstract

Abstract is missing.