libexact is a software library for solving combinatorial exact covering problems. It implements essentially the backtrack algorithm and the dancing links data structure described in “Donald E. Knuth, Dancing Links, Millennial Perspectives in Computer Science (J. Davies, B. Roscoe, and J. Woodcock, Eds.), Palgrave, Basingstoke, England, 2000, pp. 187–214“ (preprint). The library is written in C, with an honest attempt to conform to the ISO/IEC 9899:1999 standard (C99), and should work on most modern operating systems (e.g. Linux, FreeBSD, Sun Solaris, Mac OS X, Tru64 UNIX and Microsoft Windows).

References in zbMATH (referenced in 23 articles )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Fang, Zenghui; Zhou, Junling; Wang, Lidong: Maximum (w)-cyclic holey group divisible packings and their application to three-dimensional optical orthogonal codes (2022)
  2. Kokkala, Janne I.; Östergård, Patric R. J.: Kirkman triple systems with subsystems (2020)
  3. Krotov, Denis S.: On the (\mathrmOA(1536,13,2,7)) and related orthogonal arrays (2020)
  4. Honold, Thomas; Kiermaier, Michael; Kurz, Sascha: Classification of large partial plane spreads in (\mathrmPG(6,2)) and related combinatorial objects (2019)
  5. Kokkala, Janne I.; Östergård, Patric R. J.: The chromatic number of the square of the 8-cube (2018)
  6. Östergård, Patric R. J.; Soicher, Leonard H.: There is no McLaughlin geometry (2018)
  7. Chang, Yanxun; Fan, Bingli; Feng, Tao; Holt, Derek F.; Östergård, Patric R. J.: Classification of cyclic Steiner quadruple systems (2017)
  8. Deza, Michel-Marie; Dutour Sikirić, Mathieu: Lego-like spheres and tori (2017)
  9. Braun, Michael; Etzion, Tuvi; Östergård, Patric R. J.; Vardy, Alexander; Wassermann, Alfred: Existence of (q)-analogs of Steiner systems (2016)
  10. Egan, Judith; Wanless, Ian M.: Enumeration of MOLS of small order (2016)
  11. Kokkala, Janne I.; Östergård, Patric R. J.: Further results on the classification of MDS codes (2016)
  12. Krotov, Denis S.; Östergård, Patric R. J.; Pottonen, Olli: Non-existence of a ternary constant weight ((16,5,15;2048)) diameter perfect code (2016)
  13. Zhou, Junling; Chang, Yanxun: Bounds on the dimensions of 2-spontaneous emission error designs (2016)
  14. Haanpää, Harri; Östergård, Patric R. J.: Counting Hamiltonian cycles in bipartite graphs (2014)
  15. Khatirinejad, Mahdad; Östergård, Patric R. J.; Popa, Alexandru: The Mendelsohn triple systems of order 13 (2014)
  16. Mathew, K. Ashik; Östergård, Patric R. J.; Popa, Alexandru: Enumerating cube tilings (2013)
  17. Östergård, Patric R. J.; Pettersson, Ville H.: Enumerating perfect matchings in (n)-cubes (2013)
  18. Kaski, Petteri; Khatirinejad, Mahdad; Östergård, Patric R. J.: Steiner triple systems satisfying the 4-vertex condition (2012)
  19. Colbourn, Charles J.; Kaski, Petteri; Östergård, Patric R. J.; Pike, David A.; Pottonen, Olli: Nearly Kirkman triple systems of order 18 and Hanani triple systems of order 19 (2011)
  20. Hulpke, Alexander; Kaski, Petteri; Östergård, Patric R. J.: The number of Latin squares of order 11 (2011)

1 2 next