Frédéric Didier

21 papers A* 3A 1B 2Misc 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Parallelising Lazy Clause Generation with Trail Sharing.
CPAIOR (1)
Toby O. Davies, Frédéric Didier, Laurent Perron, Peter J. Stuckey
2025 A* conf
TransRoute: A Novel Hierarchical Transistor-Level Routing Framework Beyond Standard-Cell Methodology.
DAC
Chen-Hao Hsu, David Z. Pan, Laurent Perron, Frédéric Didier, Xiaoqing Xu, Hao Chen
2024 — conf
ViolationLS: Constraint-Based Local Search in CP-SAT.
CPAIOR (1)
Toby O. Davies, Frédéric Didier, Laurent Perron
2023 A conf
The CP-SAT-LP Solver (Invited Talk).
CP
Laurent Perron, Frédéric Didier, Steven Gay
2015 A* conf
Exploiting the Structure of Unsatisfiable Cores in MaxSAT.
IJCAI
Carlos Ansótegui, Frédéric Didier, Joel Gabàs
2012 J jnl
Invertible Extractors and Wiretap Protocols.
IEEE Trans. Inf. Theory
Mahdi Cheraghchi, Frédéric Didier, Amin Shokrollahi
2011 J jnl
Approximation of event probabilities in noisy cellular processes.
Theor. Comput. Sci.
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2010 J jnl
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks
CoRR
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2010 — conf
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.
QEST
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2009 — conf
Approximation of Event Probabilities in Noisy Cellular Processes.
CMSB
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2009 J jnl
Attacking the combination generator
CoRR
Frédéric Didier, Yann Laigle-Chapuy
2009 J jnl
Efficient erasure decoding of Reed-Solomon codes
CoRR
Frédéric Didier
2009 J jnl
Invertible Extractors and Wiretap Protocols
CoRR
Mahdi Cheraghchi, Frédéric Didier, Amin Shokrollahi
2009 B conf
Invertible extractors and wiretap protocols.
ISIT
Mahdi Cheraghchi, Frédéric Didier, Amin Shokrollahi
2007 Misc conf
Attacking the Filter Generator by Finding Zero Inputs of the Filtering Function.
INDOCRYPT
Frédéric Didier
2007 — —
Codes de Reed-Muller et cryptanalyse du registre filtré.
Frédéric Didier
2007 J jnl
Finding low-weight polynomial multiples using discrete logarithm
CoRR
Frédéric Didier, Yann Laigle-Chapuy
2007 B conf
Finding low-weight polynomial multiples using discrete logarithm.
ISIT
Frédéric Didier, Yann Laigle-Chapuy
2006 A* conf
Computing the Algebraic Immunity Efficiently.
FSE
Frédéric Didier, Jean-Pierre Tillich
2006 Misc conf
Using Wiedemann's Algorithm to Compute the Immunity Against Algebraic and Fast Algebraic Attacks.
INDOCRYPT
Frédéric Didier
2006 J jnl
Using Wiedemann's algorithm to compute the immunity against algebraic and fast algebraic attacks.
IACR Cryptol. ePrint Arch.
Frédéric Didier