%0 Journal Article %1 journals/jifs/MedinaMLH22 %A Medina, Marco A. López %A Marcial-Romero, José Raymundo %A Luna, Guillermo De Ita %A Servín, José Antonio Hernández %D 2022 %J J. Intell. Fuzzy Syst. %K dblp %N 5 %P 4719-4726 %T A method for counting models on grid Boolean formulas. %U http://dblp.uni-trier.de/db/journals/jifs/jifs42.html#MedinaMLH22 %V 42

@article{journals/jifs/MedinaMLH22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Medina, Marco A. López and Marcial-Romero, José Raymundo and Luna, Guillermo De Ita and Servín, José Antonio Hernández}, biburl = {https://www.bibsonomy.org/bibtex/26341e91e927a782b823f55a76d557155/dblp}, ee = {https://doi.org/10.3233/JIFS-219259}, interhash = {1f277a60aa08b73d47fcaf99065b3fff}, intrahash = {6341e91e927a782b823f55a76d557155}, journal = {J. Intell. Fuzzy Syst.}, keywords = {dblp}, number = 5, pages = {4719-4726}, timestamp = {2024-05-13T07:04:20.000+0200}, title = {A method for counting models on grid Boolean formulas.}, url = {http://dblp.uni-trier.de/db/journals/jifs/jifs42.html#MedinaMLH22}, volume = 42, year = 2022 }