Vincent Vallade

According to our database, Vincent Vallade authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Contributions à la résolution parallèle du problème SAT. (Contribution to parallel SAT solving).

Vincent Vallade

PhD thesis, 2023

Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies.

Vincent Vallade, Julien Sopena, Souheib Baarir

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

Diversifying a Parallel SAT Solver with Bayesian Moment Matching.

Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

2020

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving.

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

On the Usefulness of Clause Strengthening in Parallel SAT Solving.

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020