Chris Cameron

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Monte Carlo Methods

Reinforcement Learning

Propositional Satisfiability

Top Venues

Publications

Chris Cameron, Jason S. Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, Kevin Leyton-Brown
UNSAT Solver Synthesis via Monte Carlo Forest Search. CPAIOR (1) (2024)
Kevin Leyton-Brown, Mausam, Yatin Nandwani, Hedayat Zarkoob, Chris Cameron, Neil Newman, Dinesh Raghu
Matching papers and reviewers at large conferences. Artif. Intell. 331 (2024)
Chris Cameron, Jason S. Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, Kevin Leyton-Brown
Monte Carlo Forest Search: UNSAT Solver Synthesis via Reinforcement learning. CoRR (2022)
Chris Cameron, Jason S. Hartford, Taylor Lundy, Kevin Leyton-Brown
The Perils of Learning Before Optimizing. AAAI (2022)
Kevin Leyton-Brown, Mausam, Yatin Nandwani, Hedayat Zarkoob, Chris Cameron, Neil Newman, Dinesh Raghu
Matching Papers and Reviewers at Large Conferences. CoRR (2022)
Chris Cameron, Jason S. Hartford, Taylor Lundy, Kevin Leyton-Brown
The Perils of Learning Before Optimizing. CoRR (2021)
Chris Cameron, Rex Chen, Jason S. Hartford, Kevin Leyton-Brown
Predicting Propositional Satisfiability via End-to-End Learning. AAAI (2020)
Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown, Frank Hutter
OASC-2017: *Zilla Submission. OASC (2017)
Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown
Bias in Algorithm Portfolio Performance Evaluation. IJCAI (2016)