| 2026 |
— |
conf |
TACAS (1)
Markus Anders, Cayden R. Codel, Marijn J. H. Heule
|
| 2026 |
J |
jnl |
CoRR
Markus Anders, Cayden R. Codel, Marijn J. H. Heule
|
| 2025 |
B |
conf |
ITP
Eric Wang, Arohee Bhoja, Cayden R. Codel, Noah G. Singer
|
| 2024 |
B |
conf |
FMCAD
S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre
|
| 2024 |
B |
conf |
ITP
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
|
| 2024 |
J |
jnl |
CoRR
Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden R. Codel, Mario Carneiro, Marijn J. H. Heule
|
| 2024 |
— |
conf |
TACAS (1)
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
|
| 2024 |
B |
conf |
FMCAD
Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule
|
| 2023 |
— |
conf |
NFM
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
|
| 2023 |
J |
jnl |
CoRR
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
|
| 2023 |
B |
conf |
FMCAD
Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule
|
| 2019 |
A* |
conf |
IJCAI
William H. Guss, Brandon Houghton, Nicholay Topin, Phillip Wang, Cayden R. Codel, Manuela Veloso, Ruslan Salakhutdinov
|
| 2019 |
J |
jnl |
CoRR
William H. Guss, Brandon Houghton, Nicholay Topin, Phillip Wang, Cayden R. Codel, Manuela Veloso, Ruslan Salakhutdinov
|
| 2019 |
J |
jnl |
CoRR
William H. Guss, Cayden R. Codel, Katja Hofmann, Brandon Houghton, Noburu Kuno, Stephanie Milani, Sharada P. Mohanty, Diego Perez Liebana, Ruslan Salakhutdinov, Nicholay Topin, Manuela Veloso, Phillip Wang
|