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

Pedro Almagro-Blanco, Jesús Giráldez-Cru
Characterizing the Temperature of SAT Formulas. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Jesús Giráldez-Cru, Pedro Almagro-Blanco
On the Temperature of SAT Formulas. CCIA (2021)
Pedro Almagro-Blanco, Fernando Sancho-Caparrini
Improving Skip-Gram based Graph Embeddings via Centrality-Weighted Sampling. CoRR (2019)
Pedro Almagro-Blanco, Fernando Sancho-Caparrini
Induction of Decision Trees based on Generalized Graph Queries. CoRR (2017)
Pedro Almagro-Blanco, Fernando Sancho-Caparrini
Generalized Graph Pattern Matching. CoRR (2017)
Pedro Almagro-Blanco, Fernando Sancho-Caparrini
Semantic Preserving Embeddings for Generalized Graphs. CoRR (2017)