Here is a list of my publications, in reverse chronological order.
- 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 Imperfect-Recall Abstractions with Bounds. Christian Kroer and Tuomas Sandholm. arXiv preprint, 2014
- 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, 2014. 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.