%0 Conference Paper %1 conf/mcpr2/MedinaMSM23 %A Medina, Marco A. López %A Marcial-Romero, José Raymundo %A Servín, José Antonio Hernández %A Morales-Hernández, Sandra %B MCPR %D 2023 %E González, Ansel Yoan Rodríguez %E Espinosa, Humberto Pérez %E Trinidad, José Francisco Martínez %E Carrasco-Ochoa, Jesús Ariel %E Olvera-López, José Arturo %I Springer %K dblp %P 69-78 %T A Method for Counting Models on Cubic Boolean Formulas. %U http://dblp.uni-trier.de/db/conf/mcpr2/mcpr2023.html#MedinaMSM23 %V 13902 %@ 978-3-031-33783-3

@inproceedings{conf/mcpr2/MedinaMSM23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Medina, Marco A. López and Marcial-Romero, José Raymundo and Servín, José Antonio Hernández and Morales-Hernández, Sandra}, biburl = {https://www.bibsonomy.org/bibtex/28905ce8a05fe89f066a39e9eb2c8d2c9/dblp}, booktitle = {MCPR}, crossref = {conf/mcpr2/2023}, editor = {González, Ansel Yoan Rodríguez and Espinosa, Humberto Pérez and Trinidad, José Francisco Martínez and Carrasco-Ochoa, Jesús Ariel and Olvera-López, José Arturo}, ee = {https://doi.org/10.1007/978-3-031-33783-3_7}, interhash = {f61fc54ceaa32c71b3849ca4882cd476}, intrahash = {8905ce8a05fe89f066a39e9eb2c8d2c9}, isbn = {978-3-031-33783-3}, keywords = {dblp}, pages = {69-78}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:36:39.000+0200}, title = {A Method for Counting Models on Cubic Boolean Formulas.}, url = {http://dblp.uni-trier.de/db/conf/mcpr2/mcpr2023.html#MedinaMSM23}, volume = 13902, year = 2023 }