F\'elix Ridoux

Identifiers

• name variant F\'elix Ridoux 0.60 · backfill

Papers (1)

1. Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners cs.LO · 2026 · author #5

Mentions

• 2606.23516 #5 · arxiv_oai · confidence 0.70 F\'elix Ridoux

Frequent Coauthors

• Alessio Mansutti 1 shared papers
• Louis Rustenholz 1 shared papers
• Manuel V. Hermenegildo 1 shared papers
• Niki Vazou 1 shared papers
• Pedro Lopez-Garcia 1 shared papers