“On Enumerating Short Projected Models,” Discrete Applied Mathematics, vol. 361, 2025.
more
BibTeX
@article{Moehle25,
TITLE = {On Enumerating Short Projected Models},
AUTHOR = {M{\"o}hle, Sibylle and Sebastiani, Roberto and Biere, Armin},
LANGUAGE = {eng},
ISSN = {0166-218X},
DOI = {10.1016/j.dam.2024.10.021},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam},
YEAR = {2025},
MARGINALMARK = {$\bullet$},
DATE = {2025},
JOURNAL = {Discrete Applied Mathematics},
VOLUME = {361},
PAGES = {412--439},
}Endnote
%0 Journal Article %A Möhle, Sibylle %A Sebastiani, Roberto %A Biere, Armin %+ Automation of Logic, MPI for Informatics, Max Planck Society External Organizations External Organizations %T On Enumerating Short Projected Models : %G eng %U http://hdl.handle.net/21.11116/0000-0010-80F4-9 %R 10.1016/j.dam.2024.10.021 %7 2024-11-12 %D 2025 %J Discrete Applied Mathematics %V 361 %& 412 %P 412 - 439 %I Elsevier %C Amsterdam %@ false