Conference and journal papers
- Faster First-Order Methods for Extensive-Form Game Solving. Christian Kroer, Kevin Waugh, Fatma Kılınç-Karzan, and Tuomas Sandholm. ACM conference on Economics and Computation (EC), 2015.
- Limited Lookahead in Incomplete-Information Games. Christian Kroer and Tuomas Sandholm. International Joint Conference on Artificial Intelligence (IJCAI), 2015 (forthcoming).
- Discretization of Continuous Action Spaces in Extensive-Form Games. Christian Kroer and Tuomas Sandholm. International Conference Autonomous Agents & Multiagent System (AAMAS), 2015
- Computational Bundling for Auctions. Christian Kroer and Tuomas Sandholm. International Conference Autonomous Agents & Multiagent System (AAMAS), 2015. Tech report.
- Extensive-form Game Abstraction with Bounds. Christian Kroer and Tuomas Sandholm. ACM conference on Economics and Computation (EC), 2014
- Power napping with loud neighbors: optimal energy-constrained jamming and anti-jamming. Bruce DeBruhl, Christian Kroer, Anupam Datta, Tuomas Sandholm, and Patrick Tague. 7th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec), 2014
- Symbolic Configuration for Interactive Container Ship Stowage Planning. Christian Kroer, Martin K. Svendsen, Rune M. Jensen, Joseph Kiniry, and Eilif Leknes. Computational Intelligence, accepted in 2014. Early view link. Master's thesis with more SAT/SMT results.
- Robust Optimization of Recommendation Sets with the Maximin Utility Criterion. Paolo Viappiani and Christian Kroer. 3rd International Conference on Algorithmic Decision Theory (ADT), 2013. Previously appeared as a workshop paper at M-PREF 2012.
- Automated Planning for Liner Shipping Fleet Repositioning. Kevin Tierney, Amanda Coles, Andrew Coles, Christian Kroer, Adam Britt and Rune M. Jensen. International Conference on Automated Planning and Scheduling, (ICAPS). 2012.
- Feature Filtering for Instance Specific Algorithm Configuration. Christian Kroer and Yuri Malitsky. IEEE International Conference on Tools in Artificial Intelligence, (ICTAI). 2011.
Faster First-Order Methods for Extensive-Form Game Solving. 22nd International Symposium on Mathematical Programming (ISMP), 2015.
Extensive-Form Game Abstraction with Bounds. CMU theory lunch, 2014.
Extensive-Form Game Abstraction with Bounds. CMU open house, 2014.
Computational Bundling for Auctions. INFORMS Annual Conference, 2013.