It is well known that different solution strategies work well for different types of instances of
hard combinatorial problems. As a consequence, most solvers for the propositional …

Over 13 months in 2016--17 the US Federal Communications Commission conducted an"
incentive auction" to repurpose radio spectrum from broadcast television to wireless internet …

This thesis has two main concerns. The first is infrastructure that allows complex, electronic
markets to function, ranging from web applications to highly specialized clearing algorithms …