On Compiling CNFs into Structured Deterministic DNNFs

From MaRDI portal
Publication:3453225