Pedro Almagro-Blanco

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Graph Pattern Matching

Boolean Satisfiability

Quantifier Free

Top Venues

Int. J. Comput. Intell. Syst.

Publications