Asharov, Gilad; Komargodski, Ilan; Lin, Wei-Kai; Nayak, Kartik; Peserico, Enoch; Shi, Elaine OptORAMa: Optimal oblivious RAM. (English) Zbl 07876157 J. ACM 70, No. 1, Paper No. 4, 70 p. (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Bodirsky, Manuel; Rydval, Jakub On the descriptive complexity of temporal constraint satisfaction problems. (English) Zbl 07876155 J. ACM 70, No. 1, Paper No. 2, 58 p. (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Schweikardt, Nicole; Segoufin, Luc; Vigny, Alexandre Enumeration for FO queries over nowhere dense graphs. (English) Zbl 07679918 J. ACM 69, No. 3, Article No. 22, 37 p. (2022). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI HAL
Beame, Paul; Liew, Vincent Toward verifying nonlinear integer arithmetic. (English) Zbl 1473.68105 J. ACM 66, No. 3, Article No. 22, 30 p. (2019). MSC: 68Q60 03F20 68Q06 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Datta, Samir; Kulkarni, Raghav; Mukherjee, Anish; Schwentick, Thomas; Zeume, Thomas Reachability is in DynFO. (English) Zbl 1426.68107 J. ACM 65, No. 5, Article No. 33, 24 p. (2018). MSC: 68Q19 68P15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bonacina, Ilario; Galesi, Nicola A framework for space complexity in algebraic proof systems. (English) Zbl 1333.03238 J. ACM 62, No. 3, Article No. 23, 20 p. (2015). MSC: 03F20 03B05 03B35 03D15 68Q15 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Bodirsky, Manuel; Pinsker, Michael Schaefer’s theorem for graphs. (English) Zbl 1333.05194 J. ACM 62, No. 3, Article No. 19, 52 p. (2015). MSC: 05C55 03B70 05C80 08A70 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Goel, Gagan; Mirrokni, Vahab; Leme, Renato Paes Polyhedral clinching auctions and the AdWords polytope. (English) Zbl 1333.91015 J. ACM 62, No. 3, Article No. 18, 27 p. (2015). MSC: 91B26 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Basin, David; Klaedtke, Felix; Müller, Samuel; Zălinescu, Eugen Monitoring metric first-order temporal properties. (English) Zbl 1333.68177 J. ACM 62, No. 2, Article No. 15, 45 p. (2015). MSC: 68Q60 03B44 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Etessami, Kousha; Yannakakis, Mihalis Recursive Markov decision processes and recursive stochastic games. (English) Zbl 1333.91005 J. ACM 62, No. 2, Article No. 11, 69 p. (2015). MSC: 91A15 60J80 68Q25 68Q42 68Q87 90C40 × Cite Format Result Cite Review PDF Full Text: DOI Link
Jacob, Riko; Richa, Andrea; Scheideler, Christian; Schmid, Stefan; Täubig, Hanjo \(\mathrm{SKIP}^{+}\), a self-stabilizing skip graph. (English) Zbl 1321.68024 J. ACM 61, No. 6, Article No. 36, 26 p. (2014). MSC: 68M10 68M14 68R10 68W15 × Cite Format Result Cite Review PDF Full Text: DOI
Dell, Holger; Van Melkebeek, Dieter Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses. (English) Zbl 1321.68274 J. ACM 61, No. 4, Article No. 23, 27 p. (2014). MSC: 68Q15 05C70 05C65 68Q17 68Q25 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI Link
Amano, Shun’ichi; David, Claire; Libkin, Leonid; Murlak, Filip XML schema mappings, data exchange and metadata management. (English) Zbl 1295.68099 J. ACM 61, No. 2, Article No. 12, 48 p. (2014). MSC: 68P05 68P15 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Hon, Wing-Kai; Shah, Rahul; Thankachan, Sharma V.; Vitter, Jeffrey Scott Space-efficient frameworks for top-\(k\) string retrieval. (English) Zbl 1295.68230 J. ACM 61, No. 2, Article No. 9, 36 p. (2014). MSC: 68W32 68P05 68P20 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Williams, Ryan Nonuniform ACC circuit lower bounds. (English) Zbl 1295.68117 J. ACM 61, No. 1, Article No. 2, 32 p. (2014). MSC: 68Q15 68Q17 68Q25 94C10 × Cite Format Result Cite Review PDF Full Text: DOI
Gottlob, Georg; Koch, Christoph; Schulz, Klaus U. Conjunctive queries over trees. (English) Zbl 1326.68110 J. ACM 53, No. 2, 238-272 (2006). MSC: 68P05 03B70 68P15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI Link