Fernando Sáenz-Pérez

Constraint functional logic programming over finite domains

Antonio J. Fernández, Teresa Hortalá-González, Fernando Sáenz-Pérez et al. · Theory and Practice of Logic Programming · 2007 · 27 citations

Mathematical Programming, Constraint Solving, Declarative Programming +13

DES: A Deductive Database System

Fernando Sáenz-Pérez · Electronic Notes in Theoretical Computer Science · 2011 · 22 citations · Full text

Relational Database, Engineering, Software Engineering +20

On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP

Sonia Estévez Martín, Teresa Hortalá-González, Mario Rodríguez-Artalejo et al. · Theory and Practice of Logic Programming · 2009 · 13 citations

Constraint Solving, Non-monotonic Logic, Engineering +15

Parallel Arc-Consistency for Functional Constraints.

Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez et al. · 1998 · 12 citations

Constraint Solving, Engineering, Parallel Arc-consistency +5

Using Datalog to provide just-in-time feedback during the construction of concept maps

Francisco José Álvarez-Montero, Fernando Sáenz-Pérez, Antonio Vaquero-Sánchez · Expert Systems with Applications · 2014 · 10 citations

Concept Formation, Engineering, Information Retrieval +15