M. Pilar Vélez

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 9

Top Topics

Theorem Proving

Automated Reasoning

Prime Implicants

Top Venues

Math. Comput. Sci.

ACM Commun. Comput. Algebra

Publications