3 citations · 3 across the 3 of their papers we have counts for
4 papers
Predicting Human Card Selection in Magic: The Gathering with Contextual Preference Ranking
Timo Bertram, Johannes Fürnkranz, Martin Müller
Drafting, i.e., the selection of a subset of items from a larger candidate set, is a key element of many games and related problems. It encompasses team formation in sports or e-sp…
A Deep Dive into Conflict Generating Decisions
Md Solimul Chowdhury, Martin Müller, Jia You
Boolean Satisfiability (SAT) is a well-known NP-complete problem. Despite this theoretical hardness, SAT solvers based on Conflict Driven Clause Learning (CDCL) can solve large SAT…
Characterization of Glue Variables in CDCL SAT Solving
Md Solimul Chowdhury, Martin Müller, Jia-Huai You
A state-of-the-art criterion to evaluate the importance of a given learned clause is called Literal Block Distance (LBD) score. It measures the number of distinct decision levels i…
Structured Best Arm Identification with Fixed Confidence
Ruitong Huang, Mohammad M. Ajallooeian, Csaba Szepesvári +1
We study the problem of identifying the best action among a set of possible options when the value of each action is given by a mapping from a number of noisy micro-observables in…