@misc{indiciaeaeedaa6ebc64,
  title = {Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability},
  author = {Nuno P. Lopes and Levent Aksoy and Vasco Manquinho and José Monteiro},
  year = {2011},
  url = {https://arxiv.org/abs/1011.2685},
  note = {Source identifier: 1011.2685}
}