Kaonic Atoms to Investigate Global Symmetry Breaking.

Catalina Curceanu Carlo Guaraldo Diana Laura Sirghi Aidin Amirkhani Ata Baniahmad Massimiliano Bazzi Giovanni Bellotti Damir Bosnar Mario Bragadireanu Michael Cargnelli Marco Carminati Alberto Clozza Luca De Paolis Raffaele Del Grande Carlo Fiorini Mihail Antoniu Iliescu Masahiko Iwasaki Pietro King Paolo Levi Sandri Johann Marton Marco Miliucci Pawel Moskal Szymon Niedzwiecki Shinji Okada Kristian Piscicchia Alessandro Scordo Michal Silarski Florin Sirghi Magdalena Skurzok Antonio Spallone Marlene Tüchler Gianlorenzo Utica Oton Vazquez Doce Johann Zmeskal

Published in: Symmetry (2020)

Keyphrases

symmetry breaking
constraint programming
search tree
quantified boolean formulae
global constraints
boolean satisfiability
combinatorial problems
boolean optimization
objective function
knowledge representation
logic programs
constraint satisfaction problems