Sandra Morales-Hernández

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Publications

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