Dynamical Chiral Symmetry Breaking in Quantum Chromo Dynamics: Delicate and Intricate.

Reinhard Alkofer

Published in: Symmetry (2023)

Keyphrases

symmetry breaking
constraint programming
global constraints
quantified boolean formulae
search tree
boolean satisfiability
constraint satisfaction problems
integer linear programming
graph coloring
cellular automata
constraint satisfaction
sat solvers
query processing
orders of magnitude
boolean optimization