SeaPearl: a constraint programming solver guided by reinforcement learning
scientific article; zbMATH DE number 7493642
scientific article