Maël Valais
Title
Cited by
Cited by
Year
Compact tree encodings for planning as QBF
O Gasquet, D Longin, F Maris, P Régnier, M Valais
AAAI Press, 2018
52018
Twist your logic with TouIST
KSB Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, M Valais
arXiv preprint arXiv:1507.03663, 2015
52015
Solar survey at Pic du Midi: Calibrated data and improved images
L Koechlin, L Dettwiller, M Audejean, M Valais, AL Ariste
Astronomy & Astrophysics 631, A55, 2019
12019
Twist your logic with TouIST
S Ben Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, ...
IRISA, 2015
12015
Traduction logique et résolution de problèmes: application à la planification
M Valais
Université de Toulouse, Université Toulouse III-Paul Sabatier, 2019
2019
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu
F Maris, M Valais, J Vianey
2018
Codages d'arbres compacts (CTE) pour la planification QBF
O Gasquet, D Longin, F Maris, P Régnier, M Valais
12èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2018), 1-9, 2018
2018
Twist your logic with TouIST
K Skander Ben Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, ...
arXiv, arXiv: 1507.03663, 2015
2015
Touist reference manual 2017-06-23 (touist v3. 2.1)
O Gasquet, F Maris, M Valais
TOUIST (Toulouse Integrated Satisfiability Tool): utilisation de la plateforme pour la planification
KSB Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, M Valais
TouIST Reference Manual 2018-03-12 (touist v3. 5.2)
O Gasquet, D Longin, F Maris, M Valais
La logique facile avec TouIST
SB Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, M Valais
TouIST again...
O Gasquet, A Herzig, D Longin, F Maris, M Valais
Touist reference manual
O Gasquet, D Longin, F Maris, M Valais
Transport humanitaire et la logistique de crise: comparaison de deux méthodes de calcul de tournées de véhicules
D Berardi, A Heba, B Terooatea, M Valais
The system can't perform the operation now. Try again later.
Articles 1–15