Chris Cameron

According to our database, Chris Cameron authored at least 7 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

UNSAT Solver Synthesis via Monte Carlo Forest Search.

Chris Cameron, Jason S. Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, Kevin Leyton-Brown

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

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

The Perils of Learning Before Optimizing.

Chris Cameron, Jason S. Hartford, Taylor Lundy, Kevin Leyton-Brown

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

Predicting Propositional Satisfiability via End-to-End Learning.

Chris Cameron, Rex Chen, Jason S. Hartford, Kevin Leyton-Brown

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2017

OASC-2017: *Zilla Submission.

Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown, Frank Hutter

Proceedings of the Open Algorithm Selection Challenge 2017, 2017

2016

Bias in Algorithm Portfolio Performance Evaluation.

Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016