Bias in Algorithm Portfolio Performance Evaluation. - Chris Cameron; Holger H. Hoos; Kevin Leyton-Brown (IJCAI, 2016)

OASC-2017: *Zilla Submission. - Chris Cameron; Holger H. Hoos; Kevin Leyton-Brown; Frank Hutter (OASC, 2017)

Predicting Propositional Satisfiability via End-to-End Learning. - Chris Cameron; Rex Chen; Jason S. Hartford; Kevin Leyton-Brown (AAAI, 2020)

The Perils of Learning Before Optimizing. - Chris Cameron; Jason S. Hartford; Taylor Lundy; Kevin Leyton-Brown (AAAI, 2022)

Monte Carlo Forest Search: UNSAT Solver Synthesis via Reinforcement learning. - Chris Cameron; Jason S. Hartford; Taylor Lundy; Tuan Truong; Alan Milligan; Rex Chen; Kevin Leyton-Brown (CoRR, 2022)

UNSAT Solver Synthesis via Monte Carlo Forest Search. - Chris Cameron; Jason S. Hartford; Taylor Lundy; Tuan Truong; Alan Milligan; Rex Chen; Kevin Leyton-Brown (CPAIOR (1), 2024)

Matching papers and reviewers at large conferences. - Kevin Leyton-Brown; Mausam; Yatin Nandwani; Hedayat Zarkoob; Chris Cameron; Neil Newman; Dinesh Raghu (Artif. Intell., 2024)