Barak-Pelleg, D.; Berend, D.; Saunders, J. C. A model of random industrial SAT. (English) Zbl 07496379 Theor. Comput. Sci. 910, 91-112 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Barak-Pelleg} et al., Theor. Comput. Sci. 910, 91--112 (2022; Zbl 07496379) Full Text: DOI arXiv
Bhakta, Prateek; Randall, Dana Sampling weighted perfect matchings on the square-octagon lattice. (English) Zbl 1380.05157 Theor. Comput. Sci. 699, 21-32 (2017). MSC: 05C70 05B45 60J10 PDFBibTeX XMLCite \textit{P. Bhakta} and \textit{D. Randall}, Theor. Comput. Sci. 699, 21--32 (2017; Zbl 1380.05157) Full Text: DOI
Hutchinson, M.; Widom, M. Enumeration of octagonal tilings. (English) Zbl 1330.05034 Theor. Comput. Sci. 598, 40-50 (2015). MSC: 05B45 05A15 PDFBibTeX XMLCite \textit{M. Hutchinson} and \textit{M. Widom}, Theor. Comput. Sci. 598, 40--50 (2015; Zbl 1330.05034) Full Text: DOI arXiv
Bodini, Olivier; Fernique, Thomas; Rao, Michael; Rémila, Éric Distances on rhombus tilings. (English) Zbl 1234.68438 Theor. Comput. Sci. 412, No. 36, 4787-4794 (2011). MSC: 68U05 52C20 52C45 PDFBibTeX XMLCite \textit{O. Bodini} et al., Theor. Comput. Sci. 412, No. 36, 4787--4794 (2011; Zbl 1234.68438) Full Text: DOI arXiv
Neumann, Frank; Witt, Carsten Ant colony optimization and the minimum spanning tree problem. (English) Zbl 1189.90134 Theor. Comput. Sci. 411, No. 25, 2406-2413 (2010). MSC: 90C27 90C59 PDFBibTeX XMLCite \textit{F. Neumann} and \textit{C. Witt}, Theor. Comput. Sci. 411, No. 25, 2406--2413 (2010; Zbl 1189.90134) Full Text: DOI
Greenberg, Sam; Randall, Dana Convergence rates of Markov chains for some self-assembly and non-saturated Ising models. (English) Zbl 1170.60027 Theor. Comput. Sci. 410, No. 15, 1417-1427 (2009). Reviewer: Utkir Rozikov (Tashkent) MSC: 60J10 60K35 60F05 82B20 PDFBibTeX XMLCite \textit{S. Greenberg} and \textit{D. Randall}, Theor. Comput. Sci. 410, No. 15, 1417--1427 (2009; Zbl 1170.60027) Full Text: DOI
Jonsson, Peter; Krokhin, Andrei Recognizing frozen variables in constraint satisfaction problems. (English) Zbl 1086.68056 Theor. Comput. Sci. 329, No. 1-3, 93-113 (2004). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{P. Jonsson} and \textit{A. Krokhin}, Theor. Comput. Sci. 329, No. 1--3, 93--113 (2004; Zbl 1086.68056) Full Text: DOI
Desreux, Sébastien; Matamala, Martin; Rapaport, Ivan; Rémila, Eric Domino tilings and related models: Space of configurations of domains with holes. (English) Zbl 1043.05032 Theor. Comput. Sci. 319, No. 1-3, 83-101 (2004). MSC: 05B45 PDFBibTeX XMLCite \textit{S. Desreux} et al., Theor. Comput. Sci. 319, No. 1--3, 83--101 (2004; Zbl 1043.05032) Full Text: DOI arXiv Link
Korn, Michael; Pak, Igor Tilings of rectangles with T-tetrominoes. (English) Zbl 1043.05034 Theor. Comput. Sci. 319, No. 1-3, 3-27 (2004). MSC: 05B45 05B50 PDFBibTeX XMLCite \textit{M. Korn} and \textit{I. Pak}, Theor. Comput. Sci. 319, No. 1--3, 3--27 (2004; Zbl 1043.05034) Full Text: DOI
Bousquet, Michel; Chauve, Cedric; Labelle, Gilbert; Leroux, Pierre Two bijective proofs for the arborescent form of the Good-Lagrange formula and some applications to colored rooted trees and cacti. (English) Zbl 1048.05025 Theor. Comput. Sci. 307, No. 2, 277-302 (2003). MSC: 05C05 05A15 05C30 PDFBibTeX XMLCite \textit{M. Bousquet} et al., Theor. Comput. Sci. 307, No. 2, 277--302 (2003; Zbl 1048.05025) Full Text: DOI
Bonichon, Nicolas; Mosbah, Mohamed Watermelon uniform random generation with applications. (English) Zbl 1070.68111 Theor. Comput. Sci. 307, No. 2, 241-256 (2003). MSC: 68R05 60G50 PDFBibTeX XMLCite \textit{N. Bonichon} and \textit{M. Mosbah}, Theor. Comput. Sci. 307, No. 2, 241--256 (2003; Zbl 1070.68111) Full Text: DOI
Pak, Igor Tile invariants: New horizons. (English) Zbl 1052.68094 Theor. Comput. Sci. 303, No. 2-3, 303-331 (2003). MSC: 68R05 05B45 PDFBibTeX XMLCite \textit{I. Pak}, Theor. Comput. Sci. 303, No. 2--3, 303--331 (2003; Zbl 1052.68094) Full Text: DOI
Propp, James Generalized domino-shuffling. (English) Zbl 1052.68095 Theor. Comput. Sci. 303, No. 2-3, 267-301 (2003). MSC: 68R05 05B45 PDFBibTeX XMLCite \textit{J. Propp}, Theor. Comput. Sci. 303, No. 2--3, 267--301 (2003; Zbl 1052.68095) Full Text: DOI arXiv
Creignou, Nadia; Daudé, Hervé Generalized satisfiability problems: Minimal elements and phase transitions. (English) Zbl 1051.68075 Theor. Comput. Sci. 302, No. 1-3, 417-430 (2003). MSC: 68Q25 PDFBibTeX XMLCite \textit{N. Creignou} and \textit{H. Daudé}, Theor. Comput. Sci. 302, No. 1--3, 417--430 (2003; Zbl 1051.68075) Full Text: DOI
Dubois, O. Upper bounds on the satisfiability threshold. (English) Zbl 0983.68082 Theor. Comput. Sci. 265, No. 1-2, 187-197 (2001). MSC: 68Q25 PDFBibTeX XMLCite \textit{O. Dubois}, Theor. Comput. Sci. 265, No. 1--2, 187--197 (2001; Zbl 0983.68082) Full Text: DOI
Martin, O. C.; Monasson, R.; Zecchina, R. Statistical mechanics methods and phase transitions in optimization problems. (English) Zbl 1032.90075 Theor. Comput. Sci. 265, No. 1-2, 3-67 (2001). MSC: 90C59 90C35 82B26 PDFBibTeX XMLCite \textit{O. C. Martin} et al., Theor. Comput. Sci. 265, No. 1--2, 3--67 (2001; Zbl 1032.90075) Full Text: DOI arXiv
Mosbah, M.; Saheb, N. Non-uniform random spanning trees on weighted graphs. (English) Zbl 0916.68107 Theor. Comput. Sci. 218, No. 2, 263-271 (1999). MSC: 68R10 68Q45 PDFBibTeX XMLCite \textit{M. Mosbah} and \textit{N. Saheb}, Theor. Comput. Sci. 218, No. 2, 263--271 (1999; Zbl 0916.68107) Full Text: DOI