Login / Signup
Symmetry Breaking in Anonymous Networks: Characterizations.
Paolo Boldi
Shella Shammah
Sebastiano Vigna
Bruno Codenotti
Peter Gemmell
Janos Simon
Published in:
ISTCS (1996)
Keyphrases
</>
symmetry breaking
constraint programming
global constraints
search tree
integer linear programming
boolean satisfiability
quantified boolean formulae
constraint satisfaction problems