Symmetry Breaking for Voting Mechanisms.

Preethi Sankineni Andrew M. Sutton

Published in: Evol. Comput. (2023)

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
integer linear programming
quantified boolean formulae
boolean satisfiability
constraint satisfaction problems
graph coloring
objective function
knowledge representation
multi dimensional
simulated annealing
genetic programming