Cousot, Patrick Abstract interpretation of graphs. (English) Zbl 07729471 Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 72-96 (2023). MSC: 68R10 05C38 05C85 PDFBibTeX XMLCite \textit{P. Cousot}, Lect. Notes Comput. Sci. 13160, 72--96 (2023; Zbl 07729471) Full Text: DOI
Erbas, Cengiz; Tanik, Murat M.; Aliyazicioglu, Zekeriya Linear congruence equations for the solutions of the \(N\)-queens problem. (English) Zbl 0764.68102 Inf. Process. Lett. 41, No. 6, 301-306 (1992). MSC: 68R05 15A06 05B99 05A99 PDFBibTeX XMLCite \textit{C. Erbas} et al., Inf. Process. Lett. 41, No. 6, 301--306 (1992; Zbl 0764.68102) Full Text: DOI
Topor, Rodney W. Fundamental solutions of the eight queens problem. (English) Zbl 0478.68075 BIT 22, 42-52 (1982). MSC: 68R99 05-04 PDFBibTeX XMLCite \textit{R. W. Topor}, BIT 22, 42--52 (1982; Zbl 0478.68075) Full Text: DOI