Vincent Vallade
According to our database1,
Vincent Vallade
authored at least 5 papers
between 2020 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Contributions à la résolution parallèle du problème SAT. (Contribution to parallel SAT solving).
PhD thesis, 2023
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023
2022
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022
2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020