- Enginyeria Informàtica i Disseny Digital

1999

1. A comparison of systematic and local search algorithms for regular CNF formulas

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. Artificial neural network-based diagnostic system methodology

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

3. Comercio electrónico seguro basado en la información

   I Seminario del Plan Nacional de Aplicaciones y Servicios Telemáticos: 30 de noviembre a 2 de diciembre de 1999, edif. El Sario, Universidad Pública de Navarra

4. On the semantics and automated deduction for PLFC, a logic of Possibilistic uncertainty and fuzziness

   UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS

5. Phase transitions in the regular random 3-SAT problem

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

6. Solving combinatorial problems with regular local search algorithms

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)