Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF
Fichte, Johannes K., Ganian, Robert, Hecher, Markus, Slivovsky, Friedrich, Ordyniak, Sebastian
Published in 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS (26.06.2023)
Published in 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS (26.06.2023)
Get full text
Conference Proceeding
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
Poor, Boldizsar, Wang, Quanlong, Shaikh, Razin A., Yeh, Lia, Yeung, Richie, Coecke, Bob
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
The Descriptive Complexity of Graph Neural Networks
Grohe, Martin
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Logic for Explainable AI
Darwiche, Adnan
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda
Ljungstrom, Axel, Mortberg, Anders
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Evidential Decision Theory via Partial Markov Categories
Di Lavore, Elena, Roman, Mario
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Weak Similarity in Higher-Order Mathematical Operational Semantics
Urbat, Henning, Tsampas, Stelios, Goncharov, Sergey, Milius, Stefan, Schroder, Lutz
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Semi-Simplicial Set Models for Distributed Knowledge
Goubault, Eric, Kniazev, Roman, Ledent, Jeremy, Rajsbaum, Sergio
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
The Iteration Number of the Weisfeiler-Leman Algorithm
Grohe, Martin, Lichter, Moritz, Neuen, Daniel
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Higher-Dimensional Subdiagram Matching
Hadzihasanovic, Amar, Kessler, Diana
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
Nakamura, Yoshiki
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Group Separation Strikes Back
Place, Thomas, Zeitoun, Marc
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
Winkler, Tobias, Katoen, Joost-Pieter
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Boolean symmetric vs. functional PCSP dichotomy
Nakajima, Tamio-Vesa, Zivny, Stanislav
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
The Power of Positivity
Karimov, Toghrul, Kelmendi, Edon, Nieuwveld, Joris, Ouaknine, Joel, Worrell, James
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing
Barto, Libor, Bodor, Bertalan, Kozik, Marcin, Mottet, Antoine, Pinsker, Michael
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Applications of Information Inequalities to Database Theory Problems
Suciu, Dan
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Distal Combinatorial Tools for Graphs of Bounded Twin-Width
Przybyszewski, Wojciech
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding