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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.