Search results for: Sara Bernardini
Journal of Field Robotics > 40 > 1 > 73 - 93
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 46-58
Autonomous Robots > 2017 > 41 > 1 > 181-203
Information Sciences > 2014 > 264 > Complete > 41-60