On Succinct Encodings for the Tournament Fixing Problem.

Sushmita Gupta Saket Saurabh Ramanujan Sridharan Meirav Zehavi

Published in: IJCAI (2019)

Keyphrases

orders of magnitude
planning problems
non binary
database
imperfect information
boolean satisfiability
sat encodings
round robin tournament
genetic algorithm
similarity measure
optimal solution
relational databases
special case
dynamic programming
game theory
game theoretic