Login / Signup
César Marín Rodríguez
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Model Checking
Functional Verification
Genetic Algorithm
Top Venues
CoRR
MDAI
</>
Publications
</>
Maria Bras-Amorós
,
César Marín Rodríguez
New Eliahou Semigroups and Verification of the Wilf Conjecture for Genus up to 65.
CoRR
(2023)
Maria Bras-Amorós
,
César Marín Rodríguez
New Eliahou Semigroups and Verification of the Wilf Conjecture for Genus up to 65.
MDAI
(2021)