Experiments with Declarative Modeling of Maximum Clique Problem Using Solvers Supported by MiniZinc

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]

Authors

Ionut Muraretu

This author has not been identified. Look up 'Ionut Muraretu' in Google

Costin Badica

This author has not been identified. Look up 'Costin Badica' in Google