Ionut Muraretu, Costin Badica. Experiments with Declarative Modeling of Maximum Clique Problem Using Solvers Supported by MiniZinc. In Lucian-Florentin Barbulescu, editor, 24th International Conference on System Theory, Control and Computing, ICSTCC 2020, Sinaia, Romania, October 8-10, 2020. pages 49-53, IEEE, 2020. [doi]
Abstract is missing.