Maël Valais

According to our database¹, Maël Valais authored at least 4 papers between 2015 and 2019.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2019

Traduction logique et résolution de problèmes : application à la planification. (Logic Translation and Problem Solving : application to Planning).

[BibT_eX]

[DOI]

Maël Valais

PhD thesis, 2019

2018

Compact Tree Encodings for Planning as QBF.

[BibT_eX]

[DOI]

Inteligencia Artif., 2018

Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu.

[BibT_eX]

[DOI]

Frédéric Maris

Maël Valais

Julien Vianey

Proceedings of the Journées Francophone Planification, 2018

2015

Twist your logic with TouIST.

[BibT_eX]

[DOI]

Khaled Skander Ben Slimane

CoRR, 2015

Maël Valais

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...