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

2024

  1. Circularity of new composites from recycled high density polyethylene and leather waste for automotive bumpers. Testing performance and environmental impact

    Science of the Total Environment, Vol. 919

  2. 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

  2. The Catalan Surveillance Network of SARS-CoV-2 in Sewage: design, implementation, and performance

    Scientific Reports, Vol. 12, Núm. 1

2021

  1. Valorization strategy for leather waste as filler for high-density polyethylene composites: Analysis of the thermal stability, insulation properties and chromium leaching

    Polymers, Vol. 13, Núm. 19

2020

  1. Leather waste to enhance mechanical performance of high-density polyethylene

    Polymers, Vol. 12, Núm. 9, pp. 1-15

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)

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

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

  2. Properties of poly(3-halidethiophene)s

    Physical Chemistry Chemical Physics, Vol. 14, Núm. 28, pp. 10050-10062

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

2010

  1. Examining the planarity of poly(3,4-ethylenedioxythiophene): Consideration of self-rigidification, electronic, and geometric effects

    Journal of Physical Chemistry A, Vol. 114, Núm. 2, pp. 1023-1028

2009

  1. From glycerol to chlorohydrin esters using a solvent-free system. Microwave irradiation versus conventional heating

    Tetrahedron, Vol. 65, Núm. 50, pp. 10370-10376

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