Chiral Magnetic Interactions in Small Fe Clusters Triggered by Symmetry-Breaking Adatoms.

Byungryul Jang Sergej Riemer Gustavo M. Pastor

Published in: Symmetry (2023)

Keyphrases

symmetry breaking
constraint programming
quantified boolean formulae
boolean satisfiability
global constraints
search tree
worst case
constraint satisfaction problems
heuristic search
integer linear programming
graph coloring