Login / Signup
Dew drops on spider webs: A symmetry breaking bifurcation for a parabolic differential-algebraic equation.
Klaus Böhmer
Karl-Heinz Schild
Bernhard A. Schmitt
Published in:
J. Comput. Appl. Math. (2013)
Keyphrases
</>
symmetry breaking
constraint programming
global constraints
constraint satisfaction problems
search tree
quantified boolean formulae
integer linear programming
graph coloring
boolean satisfiability
constraint satisfaction
propositional logic
symmetry breaking constraints