Showing 1 - 2 results of 2 for search 'Roman Barták', query time: 0.02s Refine Results
  1. 1
    REINFORCED ENCODING FOR PLANNING AS SAT

    REINFORCED ENCODING FOR PLANNING AS SAT by Tomáš Balyo, Roman Barták, Otakar Trunda

    Published 2015-12-01
    Get full text
    Article
  2. 2
    X-COPTER STUDIO

    X-COPTER STUDIO by Michal Koutný, Ondrej Pilát, Patrik Černý, Maroš Kasinec, Roman Barták

    Published 2015-12-01
    Get full text
    Article

Search Tools: