SABIO: An Implementation of MIP and CP for Interactive Soccer Queries

  • Robinson Duque
  • Juan Francisco Díaz
  • Alejandro Arbelaez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9892)


Soccer is one of the most popular sports in the world with millions of fans that usually raise interesting questions when the competition is partially completed. One interesting question relates to the elimination problem which consists in checking at some stage of the competition if a team i still has a theoretical chance to become the champion. Some other interesting problems from literature are the guaranteed qualification problem, the possible qualification problem, the score vector problem, promotion and relegation. These problems are NP-complete for the actual FIFA pointing rule system (0 points-loss, 1 point-tie, 3 points-win). SABIO is an online platform that helps users discover information related to soccer by letting them formulate questions in form of constraints and go beyond the classical soccer computational problems. In the paper we considerably improve the performance of an existing CP model and combine the use of MIP and CP to answer general soccer queries in a real-time application.


Constraint Programming Boolean Variable Redundant Constraint Elimination Problem Constraint Programming Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



We would like to thank Luis F. Vargas, María A. Cruz and Carlos Martínez for developing early versions of the CP model under the supervision of Juan F. Díaz. Robinson Duque is supported by Colciencias under the PhD scholarship program. Alejandro Arbelaez is supported by SFI Grant No. 10/CE/I1853.

Supplementary material

419601_1_En_36_MOESM1_ESM.pdf (181 kb)
Supplementary material 1 (pdf 180 KB)


  1. 1.
    Schwartz, B.L.: Possible winners in partially completed tournaments. SIAM Rev. 8(3), 302–308 (1966)CrossRefzbMATHGoogle Scholar
  2. 2.
    Hoffman, A., Rivlin, T.: When is a team “mathematically” eliminated? In: Princeton Symposium on Mathematical Programming, pp. 391–401. Princeton, NJ (1967)Google Scholar
  3. 3.
    Kern, W., Paulusma, D.: The new FIFA rules are hard: complexity aspects of sports competitions. Discrete Appl. Math. 108(3), 317–323 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Bernholt, T., Gälich, A., Hofmeister, T., Schmitt, N.: Football elimination is hard to decide under the 3-point-rule. In: MFCS, pp. 410–418 (1999)Google Scholar
  5. 5.
    Wayne, K.D.: A new property and a faster algorithm for baseball elimination. SIAM J. Discrete Math. 14(2), 223–229 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Kern, W., Paulusma, D.: The computational complexity of the elimination problem in generalized sports competitions. Discrete Optim. 1(2), 205–214 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Pálvölgyi, D.: Deciding soccer scores and partial orientations of graphs. Acta Univ. Sapientiae 1(1), 35–42 (2009)MathSciNetzbMATHGoogle Scholar
  8. 8.
    Ribeiro, C.C., Urrutia, S.: An application of integer programming to playoff elimination in football championships. Int. Trans. Oper. Res. 12(4), 375–386 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Duque, R., Díaz, J.F., Arbelaez, A.: Constraint programming and machine learning for interactive soccer analysis. In: LION 10 (2016, to appear)Google Scholar
  10. 10.
    Arbelaez, A., Hamadi, Y.: Exploiting weak dependencies in tree-based search. In: SAC 2009, pp. 1385–1391 (2009)Google Scholar
  11. 11.
    Haralick, R.M., Elliott, G.L.: Increasing tree search efficiency for constraint satisfaction problems. In: IJCAI 1979, San Francisco, CA, USA, pp. 356–364 (1979)Google Scholar
  12. 12.
    Borrett, J., Tsang, E.P., Walsh, N.R.: Adaptive constraint satisfaction: the quickest first principle. In: European Conference on Artificial Intelligence (1996)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Robinson Duque
    • 1
  • Juan Francisco Díaz
    • 1
  • Alejandro Arbelaez
    • 2
  1. 1.Universidad del ValleCaliColombia
  2. 2.Insight Centre for Data AnalyticsUniversity College CorkCorkIreland

Personalised recommendations