Tipo de publicación: book-chapter

The Community Structure of SAT Formulas

A Streaming Approach for Association Rule Analysis of Spanish Politics on Twitter

Facing Many Objectives for Fairness in Machine Learning

ABT with Clause Learning for Distributed SAT

On the Temperature of SAT Formulas

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers

On the Community Structure of Bounded Model Checking SAT Problems

Bibliotecas universitarias y cultura digital: breve análisis bibliométrico de la producción científica en la Web of Science

Proyecto Histocarto, geoportal para viajar por la historia de Granada