Baryogenesis: A Symmetry Breaking in the Primordial Universe Revisited.

David S. Pereira João Ferraz Francisco S. N. Lobo José Pedro Mimoso

Published in: Symmetry (2024)

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
boolean satisfiability
graph coloring
constraint satisfaction problems
quantified boolean formulae
integer linear programming
constraint satisfaction
combinatorial problems
database systems
query processing
phase transition