0 | -- | 0 | Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang. Convergence of datalog over (Pre-) Semirings |
0 | -- | 0 | Moritz Lichter, Pascal Schweitzer. Choiceless Polynomial Time with Witnessed Symmetric Choice |
0 | -- | 0 | Arthur Oliveira Vale, Zhong Shao, Yixuan Chen 0002. A Compositional Theory of Linearizability |
0 | -- | 0 | Maria-Florina Balcan, Travis Dick, Tuomas Sandholm, Ellen Vitercik. Learning to Branch: Generalization Guarantees and Limits of Data-Independent Discretization |
0 | -- | 0 | Vincent Cohen-Addad, Debarati Das 0001, Evangelos Kipouridis, Nikos Parotsidis, Mikkel Thorup. Fitting Distances by Tree Metrics Minimizing the Total Error within a Constant Factor |
0 | -- | 0 | Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard. Faster Modular Composition |
0 | -- | 0 | Chi-Ning Chou, Alexander Golovnev, Madhu Sudan 0001, Santhoshini Velusamy. Sketching Approximability of All Finite CSPs |
0 | -- | 0 | Javier Esparza, Rubén Rubio, Salomon Sickert. Efficient Normalization of Linear Temporal Logic |
0 | -- | 0 | Yuqing Kong. Dominantly Truthful Peer Prediction Mechanisms with a Finite Number of Tasks |
0 | -- | 0 | Shang-En Huang, Seth Pettie, Leqi Zhu. Byzantine Agreement with Optimal Resilience via Statistical Fraud Detection |