Author of the publication

A Distributed Version of Syrup.

, , , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 215-232. Springer, (2017)

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

An Incremental SAT-Based Approach to the Graph Colouring Problem., , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 213-231. Springer, (2019)DMC: A Distributed Model Counter., , and . IJCAI, page 1331-1338. ijcai.org, (2018)An Adaptive Parallel SAT Solver., , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 30-48. Springer, (2016)PyXAI : calculer en Python des explications pour des modèles d'apprentissage supervisé., , , , , and . EGC, volume E-39 of RNTI, page 581-588. Editions RNTI, (2023)Computing Abductive Explanations for Boosted Trees., , , and . CoRR, (2022)A hybrid CP/MOLS approach for multi-objective imbalanced classification., , , , , and . GECCO, page 723-731. ACM, (2021)Computing Abductive Explanations for Boosted Trees., , , and . AISTATS, volume 206 of Proceedings of Machine Learning Research, page 4699-4711. PMLR, (2023)PYCSP3: Modeling Combinatorial Constrained Problems in Python., and . CoRR, (2020)Multi-objective Automatic Algorithm Configuration for the Classification Problem of Imbalanced Data., , , , , and . CEC, page 1-8. IEEE, (2020)A Distributed Version of Syrup., , , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 215-232. Springer, (2017)