Publicaciones en colaboración con investigadores/as de Universitat de Girona (14)

2024

  1. Sewer sediment deposition prediction using a two-stage machine learning solution

    Journal of Hydroinformatics, Vol. 26, Núm. 4, pp. 727-743

2022

  1. New Reasoning Models: Improving Optimisation and Decision Support with the Management of Uncertainty and Constraints

    International Journal of Computational Intelligence Systems

2020

  1. Embedded information problem-solving instruction to foster learning from digital sources: Longitudinal effects on task performance

    Sustainability (Switzerland), Vol. 12, Núm. 19

2019

  1. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

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

2018

  1. Unpacking cognitive skills engaged in web-search: How can log files, eye movements, and cued-retrospective reports help? An in-depth qualitative case study

    International Journal of Innovation and Learning

2016

  1. Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers

    Fuzzy Sets and Systems, Vol. 292, pp. 32-48

2014

  1. SAT and SMT technology for many-valued logics

    Journal of Multiple-Valued Logic and Soft Computing, Vol. 24, Núm. 1-4, pp. 151-172

  2. Using a blog to create and support a Community of inquiry in secondary education

    E-Learning and Digital Media, Vol. 11, Núm. 1, pp. 72-87

2013

  1. Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

    Constraints, Vol. 18, Núm. 2, pp. 236-268

2012

  1. Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers

    Proceedings of The International Symposium on Multiple-Valued Logic

2011

  1. Extending multiple-valued clausal forms with linear integer arithmetic

    Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011

  2. Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem

    SARA 2011 - Proceedings of the 9th Symposium on Abstraction, Reformulation, and Approximation

1997

  1. Applying domain knowledge to the discovery of operating situations in wastewater treatment plants

    Proceedings - Intelligent Information Systems, IIS 1997

  2. Providing wastewater treatment plants with predictive knowledge based on transition networks

    Proceedings - Intelligent Information Systems, IIS 1997