Search Results

Matroid-Constrained Maximum Vertex Cover: Approximate Kernels and Streaming Algorithms

by Huang, Chien-Chung, Sellier, François
Published 2022

Matroid-Constrained Maximum Vertex Cover: Approximate Kernels and Streaming Algorithms

by Huang, Chien-Chung, Sellier, François
Published 2022

Matroid-Constrained Maximum Vertex Cover: Approximate Kernels and Streaming Algorithms

by Huang, Chien-Chung, Sellier, François
Published 2022

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization

by Gribling, Sander, Polak, Sven, Slot, Lucas
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)

A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization

by Gribling, Sander, Polak, Sven, Slot, Lucas
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)

Constructive completeness for the linear-time µ-calculus

by Doumane, Amina
Published 2017

Constructive completeness for the linear-time µ-calculus

by Doumane, Amina
Published 2017

Constructive completeness for the linear-time µ-calculus

by Doumane, Amina
Published 2017

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

by Kenison, George, Nosan, Klara, Shirmohammadi, Mahsa, Worrell, James
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

by Kenison, George, Nosan, Klara, Shirmohammadi, Mahsa, Worrell, James
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

by Kenison, George, Nosan, Klara, Shirmohammadi, Mahsa, Worrell, James
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)

A Type Checker for a Logical Framework with Union and Intersection Types

by Stolze, Claude, Liquori, Luigi
Published in Canadian Journal of Zoology (2020)

Robustness of the Rotor–Router Mechanism

by Bampas, Evangelos, Gąsieniec, Leszek, Hanusse, Nicolas, Ilcinkas, David, Klasing, Ralf, Kosowski, Adrian, Radzik, Tomasz
Published in Algorithmica (2017)

Robustness of the Rotor–Router Mechanism

by Bampas, Evangelos, Gąsieniec, Leszek, Hanusse, Nicolas, Ilcinkas, David, Klasing, Ralf, Kosowski, Adrian, Radzik, Tomasz
Published in Algorithmica (2017)

A Type Checker for a Logical Framework with Union and Intersection Types

by Stolze, Claude, Liquori, Luigi
Published 2020

A Type Checker for a Logical Framework with Union and Intersection Types

by Stolze, Claude, Liquori, Luigi
Published 2020