Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Unified Framework for Certificate and Compilation for QBF., and . ICLA, volume 5378 of Lecture Notes in Computer Science, page 210-223. Springer, (2009)Predicting Interatomic Distances of Molecular Quantum Chemistry Calculations., , , and . EGC (best of volume), volume 1004 of Studies in Computational Intelligence, page 159-174. Springer, (2019)Des réseaux de neurones pour prédire des distances interatomiques extraites d'une base de données ouverte de calculs en chimie quantique., , , and . EGC, volume E-35 of RNTI, page 9-20. Éditions RNTI, (2019)Équivalences et forme prénexe pour les formules booléennes quantifiées.. Rev. d'Intelligence Artif., 25 (6): 717-742 (2011)From (Quantified) Boolean Formulae to Answer Set Programming, , and . J Logic Computation, 19 (4): 565--590 (Aug 1, 2009)A new parallel architecture for QBF tools., , and . HPCS, page 324-330. IEEE, (2010)Dataset's chemical diversity limits the generalizability of machine learning predictions., , , , and . J. Cheminformatics, 11 (1): 69:1-69:15 (2019)From (Quantified) Boolean Formulae to Answer Set Programming., , and . J. Log. Comput., 19 (4): 565-590 (2009)Surrogate-Based Black-Box Optimization Method for Costly Molecular Properties., , , and . ICTAI, page 780-785. IEEE, (2021)Formules booléennes quantifiées : transformations formelles et calculs parallèles. (Quantified boolean formulae : formal processings and parallel computations).. University of Angers, France, (2010)