Gao, Jiawei; Impagliazzo, Russell; Kolokolova, Antonina; Williams, Ryan Completeness for first-order properties on sparse structures with algorithmic applications. (English) Zbl 1454.68054 ACM Trans. Algorithms 15, No. 2, Article No. 23, 35 p. (2019). Cited in 1 ReviewCited in 6 Documents MSC: 68Q25 Analysis of algorithms and problem complexity 03B70 Logic in computer science 68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.) 68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) 68Q60 Specification and verification (program logics, model checking, etc.) 68W01 General topics in the theory of algorithms Keywords:fine-grained complexity; first-order model checking; orthogonal vectors Citations:Zbl 1372.68282; Zbl 1410.68286 PDFBibTeX XMLCite \textit{J. Gao} et al., ACM Trans. Algorithms 15, No. 2, Article No. 23, 35 p. (2019; Zbl 1454.68054) Full Text: DOI