Baptiste Mouillon

Orcid: 0000-0002-3248-5714

According to our database¹, Baptiste Mouillon authored at least 3 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching.

[DOI]

CoRR, May, 2026

LTL<sub>f</sub> Learning Meets Boolean Set Cover.

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2022

Trinucleotide k-circular codes I: Theory.

[DOI]

Biosyst., 2022