Universitat Autònoma de Barcelona-ko ikertzaileekin lankidetzan egindako argitalpenak (9)

2016

  1. ABT with clause learning for distributed SAT

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

  2. Connecting ABT with a SAT solver

    Frontiers in Artificial Intelligence and Applications

2013

  1. Exploiting Multimodal Interaction Techniques for Video-Surveillance

    Intelligent Systems Reference Library, Vol. 48, pp. 135-151