libexact swMATH ID: 17197 Software Authors: P. Kaski, O. Pottonen Description: 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). Homepage: http://koti.kapsi.fi/pottonen/libexact.html Related Software: nauty; Cliquer; Traces; GAP; Magma; GRAPE; MiniSat; GitHub; gmp; CPLEX Cited in: 23 Documents all top 5 Cited by 34 Authors 17 Östergård, Patric R. J. 4 Pottonen, Olli 3 Kaski, Petteri 3 Kokkala, Janne I. 2 Chang, Yanxun 2 Khatirinejad, Mahdad 2 Krotov, Denis S. 2 Popa, Alexandru 2 Zhou, Junling 1 Braun, Michael 1 Bryant, Darryn E. 1 Colbourn, Charles J. 1 Deza, Michel Marie 1 Dutour-Sikiric, Mathieu 1 Egan, Judith 1 El-Zanati, Saad I. El-Zanati 1 Etzion, Tuvi 1 Fan, Bingli 1 Fang, Zenghui 1 Feng, Tao 1 Haanpää, Harri 1 Hartke, Stephen G. 1 Holt, Derek F. 1 Honold, Thomas 1 Hulpke, Alexander Jörg 1 Kiermaier, Michael 1 Kurz, Sascha 1 Mathew, K. Ashik 1 Pettersson, Ville H. 1 Pike, David A. 1 Soicher, Leonard H. 1 Vardy, Alexander 1 Wanless, Ian M. 1 Wassermann, Alfred all top 5 Cited in 11 Serials 4 Discrete Mathematics 4 Mathematics of Computation 4 Journal of Combinatorial Designs 2 Journal of Combinatorial Theory. Series A 2 Designs, Codes and Cryptography 2 Advances in Mathematics of Communications 1 Journal of Geometry 1 Order 1 Discrete & Computational Geometry 1 Journal of Mathematical Chemistry 1 Forum of Mathematics, Pi all top 5 Cited in 12 Fields 20 Combinatorics (05-XX) 7 Information and communication theory, circuits (94-XX) 3 Geometry (51-XX) 2 Group theory and generalizations (20-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Computer science (68-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year