| Predicting propositional satisfiability via end-to-end learning C Cameron, R Chen, J Hartford, K Leyton-Brown Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 3324-3331, 2020 | 48 | 2020 |
| Matching papers and reviewers at large conferences K Leyton-Brown, Y Nandwani, H Zarkoob, C Cameron, N Newman, ... Artificial Intelligence 331, 104119, 2024 | 32 | 2024 |
| The perils of learning before optimizing C Cameron, J Hartford, T Lundy, K Leyton-Brown Proceedings of the AAAI conference on artificial intelligence 36 (4), 3708-3715, 2022 | 21 | 2022 |
| Oasc-2017:* zilla submission C Cameron, HH Hoos, K Leyton-Brown, F Hutter Open Algorithm Selection Challenge 2017, 15-18, 2017 | 10 | 2017 |
| Bias in Algorithm Portfolio Performance Evaluation. C Cameron, HH Hoos, K Leyton-Brown IJCAI, 712-719, 2016 | 6 | 2016 |
| Unsat solver synthesis via monte carlo forest search C Cameron, J Hartford, T Lundy, T Truong, A Milligan, R Chen, ... International Conference on the Integration of Constraint Programming …, 2024 | 3 | 2024 |
| Improving Maple LCM Dist ChronoBT via Variable Reindexing Invariance C Cameron, X Jin, K Leyton-Brown SAT RACE 2019, 25, 0 | | |
