Publicaciones en colaboración con investigadores/as de Cornell University (15)

2017

  1. Real time canopy density validation using ultrasonic envelope signals and point quadrat analysis

    Computers and Electronics in Agriculture, Vol. 134, pp. 43-50

2016

  1. Design, implementation and validation of the three-wheel holonomic motion system of the assistant personal robot (APR)

    Sensors (Switzerland), Vol. 16, Núm. 10

  2. Electro-leaf, a biomimicry system to estimate in-canopy airflow in fruit crops

    Computers and Electronics in Agriculture, Vol. 127, pp. 606-614

  3. Experimental Characterization of the Twin-Eye Laser Mouse Sensor

    Journal of Sensors, Vol. 2016

2015

  1. Precision fruit spraying: measuring canopy density and volume for air and liquid control

    SuproFruit 2015 - 13th Workshop on Spray Application in Fruit Growing

  2. Real time canopy density estimation using ultrasonic envelope signals in the orchard and vineyard

    Computers and Electronics in Agriculture, Vol. 115, pp. 108-117

2011

  1. Generating highly balanced sudoku problems as hard problems

    Journal of Heuristics, Vol. 17, Núm. 5, pp. 589-614

2007

  1. Exploiting multivalued knowledge in variable selection heuristics for SAT solvers

    Annals of Mathematics and Artificial Intelligence, Vol. 49, Núm. 1-4, pp. 191-205

  2. Regular-SAT: A many-valued approach to solving combinatorial problems

    Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626

2006

  1. QBF modeling: Exploiting player symmetry for simplicity and efficiency

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

  2. The impact of balancing on problem hardness in a highly structured domain

    Proceedings of the National Conference on Artificial Intelligence

2005

  1. Mapping many-valued CNF formulas to Boolean CNF formulas

    Proceedings of The International Symposium on Multiple-Valued Logic

  2. The achilles' heel of QBF

    Proceedings of the National Conference on Artificial Intelligence

2001

  1. Capturing structure with satisfiability

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

  2. Extending the reach of SAT with many-valued logics

    Electronic Notes in Discrete Mathematics, Vol. 9, pp. 392-407