| 2024 | AAAI | Monte Carlo Tree Search in the Presence of Transition Uncertainty. | Farnaz Kohankhaki, Kiarash Aghakasiri, Hongming Zhang, Ting-Han Wei, Chao Gao, Martin Mller |
| 2024 | IJCAI | Expected Work Search: Combining Win Rate and Proof Size Estimation. | Owen Randall, Martin Mller, Ting-Han Wei, Ryan Hayward |
| 2024 | KI | Efficiently Training Neural Networks for Imperfect Information Games by Sampling Information Sets. | Timo Bertram, Johannes Frnkranz, Martin Mller |
| 2024 | SoCS | Exploring Conflict Generating Decisions: Initial Results (Extended Abstract). | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2023 | ICLR | Replay Memory as An Empirical MDP: Combining Conservative Estimation with Experience Replay. | Hongming Zhang, Chenjun Xiao, Han Wang, Jun Jin, Bo Xu, Martin Mller |
| 2020 | AAAI | Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2019 | CP | Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2019 | IJCAI | On Principled Entropy Exploration in Policy Optimization. | Jincheng Mei, Chenjun Xiao, Ruitong Huang, Dale Schuurmans, Martin Mller |
| 2018 | AAAI | Preliminary Results on Exploration-Driven Satisfiability Solving. | Md. Solimul Chowdhury, Martin Mller, Jia-Huai You |
| 2018 | AAAI | Memory-Augmented Monte Carlo Tree Search. | Chenjun Xiao, Jincheng Mei, Martin Mller |
| 2018 | ICLR | Adversarial Policy Gradient for Alternating Markov Games. | Chao Gao, Martin Mller, Ryan Hayward |
| 2018 | IJCAI | Three-Head Neural Network Architecture for Monte Carlo Tree Search. | Chao Gao, Martin Mller, Ryan Hayward |
| 2018 | IJCAI | Analyzing the Impact of Knowledge and Search in Monte Carlo Tree Search in Go. | Farhad Haqiqat, Martin Mller |
| 2017 | ALT | Structured Best Arm Identification with Fixed Confidence. | Ruitong Huang, Mohammad M. Ajallooeian, Csaba Szepesvri, Martin Mller |
| 2017 | IJCAI | Additive Merge-and-Shrink Heuristics for Diverse Action Costs. | Gaojian Fan, Martin Mller, Robert Holte |
| 2017 | IJCAI | Focused Depth-first Proof Number Search using Convolutional Neural Networks for the Game of Hex. | Chao Gao, Martin Mller, Ryan Hayward |
| 2016 | AAAI | Factorization Ranking Model for Move Prediction in the Game of Go. | Chenjun Xiao, Martin Mller |
| 2016 | IJCAI | Integrating Factorization Ranked Features in MCTS: An Experimental Study. | Chenjun Xiao, Martin Mller |
| 2015 | AAAI | TDS+: Improving Temperature Discovery Search. | Yeqin Zhang, Martin Mller |
| 2015 | ETFA | Beyond point clouds - 3D mapping and field parameter measurements using UAVs. | Raghav Khanna, Martin Mller, Johannes Pfeifer, Frank Liebisch, Achim Walter, Roland Siegwart |
| 2014 | AAAI | Adding Local Exploration to Greedy Best-First Search in Satisficing Planning. | Fan Xie, Martin Mller, Robert Holte |
| 2014 | AAAI | Type-Based Exploration with Multiple Search Queues for Satisficing Planning. | Fan Xie, Martin Mller, Robert Holte, Tatsuya Imai |
| 2014 | SoCS | Non-Linear Merging Strategies for Merge-and-Shrink Based on Variable Interactions. | Gaojian Fan, Martin Mller, Robert Holte |
| 2013 | IJCAI | Towards a Second Generation Random Walk Planner: An Experimental Exploration. | Hootan Nakhost, Martin Mller |
| 2012 | ECAI | ArvandHerd: Parallel Planning with a Portfolio. | Richard Anthony Valenzano, Hootan Nakhost, Martin Mller, Jonathan Schaeffer, Nathan R. Sturtevant |
| 2012 | SoCS | A Theoretical Framework for Studying Random Walk Planning. | Hootan Nakhost, Martin Mller |
| 2011 | AAAI | A Local Monte Carlo Tree Search Approach in Deterministic Planning. | Fan Xie, Hootan Nakhost, Martin Mller |
| 2011 | GI | From simulation to emulation - an integrated approach for network security evaluation. | Martin Mller, Rainer Bye, Karsten Bsufka, Seyit Ahmet amtepe, Sahin Albayrak |
| 2010 | ECAI | Automating Layouts of Sewers in Subdivisions. | Neil Burch, Robert C. Holte, Martin Mller, David O'Connell, Jonathan Schaeffer |
| 2010 | SoCS | Improving Local Search for Resource-Constrained Planning. | Hootan Nakhost, Jrg Hoffmann, Martin Mller |
| 2009 | IJCAI | Monte-Carlo Exploration for Deterministic Planning. | Hootan Nakhost, Martin Mller |
| 2008 | ICML | Sample-based learning and search with permanent and transient memories. | David Silver, Richard S. Sutton, Martin Mller |
| 2007 | IJCAI | Fast Planning with Iterative Macros. | Adi Botea, Martin Mller, Jonathan Schaeffer |
| 2007 | IJCAI | Reinforcement Learning of Local Shape in the Game of Go. | David Silver, Richard S. Sutton, Martin Mller |
| 2007 | IJCAI | Lambda Depth-First Proof Number Search and Its Application to Go. | Kazuki Yoshizoe, Akihiro Kishimoto, Martin Mller |
| 2005 | AAAI | Search versus Knowledge for Solving Life and Death Problems in Go. | Akihiro Kishimoto, Martin Mller |
| 2005 | IJCAI | Solving Checkers. | Jonathan Schaeffer, Yngvi Bjrnsson, Neil Burch, Akihiro Kishimoto, Martin Mller, Robert Lake, Paul Lu, Steve Sutphen |
| 2004 | AAAI | A General Solution to the Graph History Interaction Problem. | Akihiro Kishimoto, Martin Mller |
| 2004 | AAAI | Temperature Discovery Search. | Martin Mller, Markus Enzenberger, Jonathan Schaeffer |
| 2004 | SAT | Game-SAT: A Preliminary Report. | Ling Zhao, Martin Mller |
| 1999 | ESOP | Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. | Andreas Podelski, Witold Charatonik, Martin Mller |
| 1999 | IJCAI | Decomposition Search: A Combinatorial Games Approach to Game Tree Search, with Applications to Solving Go Endgames. | Martin Mller |
| 1999 | LICS | Entailment of Atomic Set Constraints is PSPACE-Complete. | Joachim Niehren, Martin Mller, Jean-Marc Talbot |
| 1998 | LICS | The First-Order Theory of Ordering Constraints over Feature Trees. | Martin Mller, Joachim Niehren, Ralf Treinen |
| 1997 | CP | Ordering Constraints over Feature Trees. | Martin Mller, Joachim Niehren, Andreas Podelski |
| 1996 | ICIP | VQ-enhanced fractal image compression. | Raouf Hamzaoui, Martin Mller, Dietmar Saupe |
| 1996 | SODA | Time and Space Efficient Method-Lookup for Object-Oriented Programs (Extended Abstract). | S. Muthukrishnan, Martin Mller |
| 1996 | SAS | Automated Modular Termination Proofs for Real Prolog Programs. | Martin Mller, Thomas Gla, Karl Stroetmann |
| 1996 | SAS | PAN - The Prolog Analyzer. | Martin Mller, Thomas Gla, Karl Stroetmann |
| 1994 | ICLP | An Axiomatic Approach to Semantics of Disjunctive Programs. | Jrgen Dix, Martin Mller |
| 1994 | ISMIS | Partial Evaluation and Relevance for Approximations of Stable Semantics. | Jrgen Dix, Martin Mller |
| 1994 | KI | The Stable Semantics and its Variants: A Comparison of Recent Approaches. | Jrgen Dix, Martin Mller |
| 1993 | LPNMR | Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). | Martin Mller, Jrgen Dix |
| 1992 | ICLP | Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. | Jrgen Dix, Martin Mller |