 | 2011 |
| 3 |  | Pierre Drap,
Djamal Merad,
Jean-Marc Boï,
Wafia Boubguira,
Amine Mahiddine,
Bertrand Chemisky,
Emmanuelle Seguin,
Frederic Alcala,
Olivier Bianchimani:
ROV-3D, 3D Underwater Survey Combining Optical and Acoustic Sensor.
VAST 2011: 177-184 |
| 1990 |
| 2 |  | Jean-Marc Boï,
Antoine Rauzy:
Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages.
AIMSA 1990: 139-148 |
| 1 |  | Jean-Marc Boï,
Antoine Rauzy:
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes.
SPLT 1990: 511-522 |