Publicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (31)

2022

  1. Scale-Free Random SAT Instances

    Algorithms, Vol. 15, Núm. 6

2019

  1. Application of an array of metal-oxide semiconductor gas sensors in an assistant personal robot for early gas leak detection

    Sensors (Switzerland), Vol. 19, Núm. 9

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

  3. Community structure in industrial SAT instances

    Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472

  4. Phase transition in realistic random SAT models

    Frontiers in Artificial Intelligence and Applications

2017

  1. Structure features for SAT instances classification

    Journal of Applied Logic, Vol. 23, pp. 27-39

2015

  1. On the Classification of Industrial SAT Families

    Frontiers in Artificial Intelligence and Applications

2014

  1. The fractal dimension of SAT formulas

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

2013

  1. Improving WPM2 for (weighted) partial MaxSAT

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

  2. Leaf area index estimation in vineyards using a ground-based LiDAR scanner

    Precision Agriculture, Vol. 14, Núm. 3, pp. 290-306

  3. Resolution procedures for multiple-valued optimization

    Information Sciences, Vol. 227, pp. 43-59

  4. SAT-based MaxSAT algorithms

    Artificial Intelligence, Vol. 196, pp. 77-105

2012

  1. Analysis and generation of pseudo-industrial MaxSAT instances

    Frontiers in Artificial Intelligence and Applications

  2. Improving SAT-based weighted MaxSAT solvers

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

2011

  1. Characterisation of the LMS200 laser beam under the influence of blockage surfaces. Influence on 3D scanning of tree orchards

    Sensors, Vol. 11, Núm. 3, pp. 2751-2772

  2. Innovative LIDAR 3D dynamic measurement system to estimate fruit-tree leaf area

    Sensors, Vol. 11, Núm. 6, pp. 5769-5791

2010

  1. A new algorithm for Weighted Partial MaxSAT

    Proceedings of the National Conference on Artificial Intelligence

  2. The Logic Behind Weighted CSP

    Trends in Constraint Programming (Wiley-ISTE), pp. 303-316

2009

  1. A tractor-mounted scanning LIDAR for the non-destructive measurement of vegetative volume and surface area of tree-row plantations: A comparison with conventional destructive measurements

    Biosystems Engineering, Vol. 102, Núm. 2, pp. 128-134

  2. Obtaining the three-dimensional structure of tree orchards from remote 2D terrestrial LIDAR scanning

    Agricultural and Forest Meteorology, Vol. 149, Núm. 9, pp. 1505-1515