Tipo de publicación: conference-paper

Fuzzy-UCS

Conceptual-based reasoning in Mobile Web 2.0 by means multiagent systems: Knowledge engineering notes

Pseudo-Industrial Random SAT Generators

A modularity-based random SAT instances generator

2-tuple fuzzy linguistic perceptions and probabilistic awareness-based heuristics for modeling consumer purchase behaviors

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

A Study on Implied Constraints in a MaxSAT Approach to B2B 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