Knowledge compilation meets database theory: compiling queries to decision diagrams
scientific article; zbMATH DE number 6201159
scientific article