Vallade, J.
7  results:
Search for persons X
?
3

Diversifying a Parallel SAT Solver with Bayesian Moment Mat..:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,
Vallade, Vincent ; Nejati, Saeed ; Sopena, Julien.. - p. 227-233 , 2022
 
?
4

Community and LBD-Based Clause Sharing Policy for Parallel ..:

, In: Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science,
 
?
5

On the Usefulness of Clause Strengthening in Parallel SAT S..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
 
?
6

The light house keeper:

, In: ACM SIGGRAPH ASIA 2010 Computer Animation Festival,
Francois, David ; Hotin, Rony ; Moreau, Jérémie... - p. 1 ff. , 2010
 
?
7

On the Importance of Spatio-Temporal Learning for Video Qua..:

, In: 2023 IEEE/CVF Winter Conference on Applications of Computer Vision Workshops (WACVW),
 
1-7