Cayden R. Codel

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Transfer Learning

Boolean Satisfiability

Orders Of Magnitude

Top Venues

Publications

Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
TaSSAT: Transfer and Share SAT. TACAS (1) (2024)
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
Formal Verification of the Empty Hexagon Number. CoRR (2024)
Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule
Verified Encodings for SAT Solvers. FMCAD (2023)
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
A Linear Weight Transfer Rule for Local Search. NFM (2023)
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
A Linear Weight Transfer Rule for Local Search. CoRR (2023)