Auricchio, Gennaro; Ferrarini, Luca; Gualandi, Stefano; Lanzarotto, Greta; Pernazza, Ludovico A SAT encoding to compute aperiodic tiling rhythmic canons. (English) Zbl 1502.00085 Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 14-23 (2022). MSC: 00A65 52C23 68R07 90C10 PDFBibTeX XMLCite \textit{G. Auricchio} et al., Lect. Notes Comput. Sci. 13292, 14--23 (2022; Zbl 1502.00085) Full Text: DOI arXiv
Zeidler, Clemens; Weber, Gerald; Gavryushkin, Alex; Lutteroth, Christof Tiling algebra for constraint-based layout editing. (English) Zbl 1407.68528 J. Log. Algebr. Methods Program. 89, 67-94 (2017). MSC: 68U35 52C20 68Q55 68Q65 PDFBibTeX XMLCite \textit{C. Zeidler} et al., J. Log. Algebr. Methods Program. 89, 67--94 (2017; Zbl 1407.68528) Full Text: DOI Link
Ansótegui, Carlos; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles On the hardness of solving edge matching puzzles as SAT or CSP problems. (English) Zbl 1310.05055 Constraints 18, No. 1, 7-37 (2013). MSC: 05B40 05B50 52C20 68Q17 PDFBibTeX XMLCite \textit{C. Ansótegui} et al., Constraints 18, No. 1, 7--37 (2013; Zbl 1310.05055) Full Text: DOI
Kaibel, Volker; Pfetsch, Marc Packing and partitioning orbitopes. (English) Zbl 1171.90004 Math. Program. 114, No. 1 (A), 1-36 (2008). Reviewer: Sebastian Pokutta (Duisburg) MSC: 90C10 90C27 90C57 52B12 PDFBibTeX XMLCite \textit{V. Kaibel} and \textit{M. Pfetsch}, Math. Program. 114, No. 1 (A), 1--36 (2008; Zbl 1171.90004) Full Text: DOI arXiv