Álvaro Torralba
Foundations of Artificial Intelligence (FAI) Group
divider line


   About me    Publications    Activities    Software    Teaching    FAI Group Members

divider line

PhD Thesis:

Journal articles

Conference Papers

Workshop Papers:

  • Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
    Lex-Partitioning: A New Option for BDD Search
    First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012