1 paper · 1 filter
Christoph Berkholz, Harry Vinall-Smeeth
A common theme in factorised databases and knowledge compilation is the representation of solution sets in a useful yet succinct data structure. In this paper, we study the represe…