Login / Signup
Miguel Cabral
Publication Activity (10 Years)
Years Active: 2010-2022
Publications (10 Years): 1
Top Topics
Heuristic Search
Computational Efficiency
Multi Objective
Orders Of Magnitude
Top Venues
SAT
</>
Publications
</>
Miguel Cabral
,
Mikolás Janota
,
Vasco M. Manquinho
SAT-Based Leximax Optimisation Algorithms.
SAT
(2022)
Fan Wu
,
Miguel Cabral
2RE: A Multi-Sensor Based Path Finding Autonomous Exploration Robot System.
IC-AI
(2010)