Voting with Ties: Strong Impossibilities via SAT Solving.

Felix Brandt Christian Saile Christian Stricker

Published in: AAMAS (2018)

Keyphrases

sat solving
sat solvers
boolean satisfiability
boolean optimization
sat problem
search tree
genetic algorithm
search space
special case
information retrieval systems
integer linear programming
symmetry breaking