A Method for Counting Models on Cubic Boolean Formulas. - Marco A. López Medina; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Sandra Morales-Hernández (MCPR, 2023)