@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 = { - },
}