3 citations · 5 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
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…
cs.AI2021★ 2 cited
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…