Miguel Cabral

According to our database, Miguel Cabral authored at least 2 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

SAT-Based Leximax Optimisation Algorithms.

Miguel Cabral, Mikolás Janota, Vasco M. Manquinho

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2010

2RE: A Multi-Sensor Based Path Finding Autonomous Exploration Robot System.

Fan Wu, Miguel Cabral

Proceedings of the 2010 International Conference on Artificial Intelligence, 2010