Frédéric Didier

According to our database, Frédéric Didier authored at least 15 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

TransRoute: A Novel Hierarchical Transistor-Level Routing Framework Beyond Standard-Cell Methodology.

Chen-Hao Hsu, David Z. Pan, Laurent Perron, Frédéric Didier, Xiaoqing Xu, Hao Chen

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

Parallelising Lazy Clause Generation with Trail Sharing.

Toby O. Davies, Frédéric Didier, Laurent Perron, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2025

2024

ViolationLS: Constraint-Based Local Search in CP-SAT.

Toby O. Davies, Frédéric Didier, Laurent Perron

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023

The CP-SAT-LP Solver (Invited Talk).

Laurent Perron, Frédéric Didier, Steven Gay

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2015

Exploiting the Structure of Unsatisfiable Cores in MaxSAT.

Carlos Ansótegui, Frédéric Didier, Joel Gabàs

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2010

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.

Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf

Proceedings of the QEST 2010, 2010

2009

Attacking the combination generator

Frédéric Didier, Yann Laigle-Chapuy

CoRR, 2009

Efficient erasure decoding of Reed-Solomon codes

Frédéric Didier

CoRR, 2009

Invertible extractors and wiretap protocols.

Mahdi Cheraghchi, Frédéric Didier, Amin Shokrollahi

Proceedings of the IEEE International Symposium on Information Theory, 2009

Approximation of Event Probabilities in Noisy Cellular Processes.

Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2007

Codes de Reed-Muller et cryptanalyse du registre filtré.

Frédéric Didier

PhD thesis, 2007

Finding low-weight polynomial multiples using discrete logarithm.

Frédéric Didier, Yann Laigle-Chapuy

Proceedings of the IEEE International Symposium on Information Theory, 2007

Attacking the Filter Generator by Finding Zero Inputs of the Filtering Function.

Frédéric Didier

Proceedings of the Progress in Cryptology, 2007

2006

Using Wiedemann's Algorithm to Compute the Immunity Against Algebraic and Fast Algebraic Attacks.

Frédéric Didier

Proceedings of the Progress in Cryptology, 2006

Computing the Algebraic Immunity Efficiently.

Frédéric Didier, Jean-Pierre Tillich

Proceedings of the Fast Software Encryption, 13th International Workshop, 2006