@Article{ VERDEGAY,

author = { JOSE LUIS VERDEGAY GALDEANO } ,

title = { MR4466139: P. Ku¿era and P. Savický. Propagation complete encodings of smooth DNNF theories. Constraints 27, 327¿359 (2022) },

journal = { Mathematical Reviews },

year = { 2022 },

pages = { - },

}