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
Schewe, Lars Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers. (English) Zbl 1187.52023 Discrete Comput. Geom. 43, No. 2, 289-302 (2010). Reviewer: Simona Settepanella (Pisa) MSC: 52C40 PDFBibTeX XMLCite \textit{L. Schewe}, Discrete Comput. Geom. 43, No. 2, 289--302 (2010; Zbl 1187.52023) Full Text: DOI arXiv
Bokowski, Jürgen; Grünbaum, Branko; Schewe, Lars Topological configurations \((n_4)\) exist for all \(n\geq 17\). (English) Zbl 1205.52017 Eur. J. Comb. 30, No. 8, 1778-1785 (2009). Reviewer: Günter F. Steinke (Christchurch) MSC: 52C30 51E20 05B30 PDFBibTeX XMLCite \textit{J. Bokowski} et al., Eur. J. Comb. 30, No. 8, 1778--1785 (2009; Zbl 1205.52017) Full Text: DOI