Numerical detection of symmetry breaking bifurcation points with nonlinear degeneracies.

Klaus Böhmer Willy Govaerts Vladimír Janovský

Published in: Math. Comput. (1999)

Keyphrases

symmetry breaking
piecewise linear
constraint programming
quantified boolean formulae
boolean satisfiability
evolutionary algorithm
search tree
multi objective
constraint satisfaction
global constraints
integer linear programming
boolean optimization