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

Numerical Calculation With Arbitrary Precision, , and . (July 2007)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)From (Quantified) Boolean Formulae to Answer Set Programming., , and . J. Log. Comput., 19 (4): 565-590 (2009)Dataset's chemical diversity limits the generalizability of machine learning predictions., , , , and . J. Cheminformatics, 11 (1): 69:1-69:15 (2019)Combustion Fronts in Porous Media., , and . SIAM J. Appl. Math., 62 (6): 2175-2198 (2002)A new parallel architecture for QBF tools., , and . HPCS, page 324-330. IEEE, (2010)Surrogate-Based Black-Box Optimization Method for Costly Molecular Properties., , , and . ICTAI, page 780-785. IEEE, (2021)Équivalences et forme prénexe pour les formules booléennes quantifiées.. Rev. d'Intelligence Artif., 25 (6): 717-742 (2011)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)