Hawking Radiation as a Manifestation of Spontaneous Symmetry Breaking.

Published in: Symmetry (2024)

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
boolean satisfiability
integer linear programming
constraint satisfaction problems
quantified boolean formulae
graph coloring
sat solvers
objective function
constraint propagation