Loading…
Verification of Quantum Computation: An Overview of Existing Approaches
Gheorghiu, Alexandru, Kapourniotis, Theodoros, Kashefi, Elham
Published in Theory of computing systems (01.05.2019)
Published in Theory of computing systems (01.05.2019)
Get full text
Journal Article
Loading…
The Price of Fairness for Indivisible Goods
Bei, Xiaohui, Lu, Xinhang, Manurangsi, Pasin, Suksompong, Warut
Published in Theory of computing systems (01.10.2021)
Published in Theory of computing systems (01.10.2021)
Get full text
Journal Article
Loading…
Loading…
The Complexity of Optimal Design of Temporally Connected Graphs
Akrida, Eleni C., Gąsieniec, Leszek, Mertzios, George B., Spirakis, Paul G.
Published in Theory of computing systems (01.10.2017)
Published in Theory of computing systems (01.10.2017)
Get full text
Journal Article
Loading…
Token Sliding on Split Graphs
Belmonte, Rémy, Kim, Eun Jung, Lampis, Michael, Mitsou, Valia, Otachi, Yota, Sikora, Florian
Published in Theory of computing systems (01.05.2021)
Published in Theory of computing systems (01.05.2021)
Get full text
Journal Article
Loading…
Faster Algorithms for the Constrained k-means Problem
Bhattacharya, Anup, Jaiswal, Ragesh, Kumar, Amit
Published in Theory of computing systems (01.01.2018)
Published in Theory of computing systems (01.01.2018)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Normality, Relativization, and Randomness
Calvert, Wesley, Gruner, Emma, Mayordomo, Elvira, Turetsky, Daniel, Villano, Java Darleen
Published in Theory of computing systems (01.09.2025)
Published in Theory of computing systems (01.09.2025)
Get full text
Journal Article
Loading…
Loading…
The Reflection Complexity of Sequences Over Finite Alphabets
Allouche, Jean-Paul, Campbell, John M., Li, Shuo, Shallit, Jeffrey, Stipulanti, Manon
Published in Theory of computing systems (01.09.2025)
Published in Theory of computing systems (01.09.2025)
Get full text
Journal Article
Loading…
Loading…
The Efficiency of Fair Division
Caragiannis, Ioannis, Kaklamanis, Christos, Kanellopoulos, Panagiotis, Kyropoulou, Maria
Published in Theory of computing systems (01.05.2012)
Published in Theory of computing systems (01.05.2012)
Get full text
Journal Article
Loading…
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement
Berkholz, Christoph, Bonsma, Paul, Grohe, Martin
Published in Theory of computing systems (01.05.2017)
Published in Theory of computing systems (01.05.2017)
Get full text
Journal Article
Loading…
Loading…
Loading…
Longest Common Subsequence with Gap Constraints
Adamson, Duncan, Sarnighausen-Cahn, Paul, Dumitran, Marius, Kosche, Maria, Koß, Tore, Manea, Florin, Siemer, Stefan
Published in Theory of computing systems (01.06.2025)
Published in Theory of computing systems (01.06.2025)
Get full text
Journal Article
Loading…
Correction to: How to Play Old Maid with Virtual Players
Shinagawa, Kazumasa, Miyahara, Daiki, Mizuki, Takaaki
Published in Theory of computing systems (01.06.2025)
Published in Theory of computing systems (01.06.2025)
Get full text
Journal Article