PSICO: Solving protein structures with constraint programming and optimization
scientific article; zbMATH DE number 1903970