Symmetry Breaking and Dynamic Transition in the Negative Mass Term Klein-Gordon Equations.

Ferenc Márkus Katalin Gambár

Published in: Symmetry (2024)

Keyphrases

symmetry breaking
constraint programming
search tree
quantified boolean formulae
np hard
graph model
global constraints