1 – 10 of 28
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Lifting with colourful sunflowers
de Rezende, Susanna F. LU
and Vinyals, Marc
(2025)
40th Computational Complexity Conference, CCC 2025
In LIPIcs : Leibniz international proceedings in informatics
339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the automatability of tree-like k-DNF resolution
Carenini, Gaia and de Rezende, Susanna F. LU
(2025)
40th Computational Complexity Conference, CCC 2025
In LIPIcs : Leibniz international proceedings in informatics
339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2024
-
Mark
Quantum Automating TC0-Frege Is LWE-Hard
(2024) 39th Computational Complexity Conference, CCC 2024 In Leibniz International Proceedings in Informatics, LIPIcs 300.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From Proof Complexity to Circuit Complexity via Interactive Protocols
(2024) 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 In Leibniz International Proceedings in Informatics, LIPIcs 297.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob LU ; Oertel, Andy LU
; Paxian, Tobias
and Vandesande, Dieter
(2024)
30th International Conference on Principles and Practice of Constraint Programming, CP 2024
In Leibniz International Proceedings in Informatics (LIPIcs)
307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
TFNP characterizations of proof systems and monotone circuits
Buss, Sam ; Fleming, Noah LU
and Impagliazzo, Russell
(2023)
In Leibniz International Proceedings in Informatics (LIPIcs)
251.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2022
-
Mark
An Auditable Constraint Programming Solver
(2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving
Gocht, Stephan LU ; Martins, Ruben ; Nordström, Jakob LU and Oertel, Andy LU
(2022)
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
In Leibniz International Proceedings in Informatics (LIPIcs)
236.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Modular counting of subgraphs : Matchings, matching-splittable graphs, and paths
(2021) 29th Annual European Symposium on Algorithms, ESA 2021 In Leibniz International Proceedings in Informatics, LIPIcs 204.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The power of negative reasoning
de Rezende, Susanna F. LU
; Lauria, Massimo
; Nordström, Jakob
LU
and Sokolov, Dmitry
LU
(2021)
36th Computational Complexity Conference, CCC 2021
In Leibniz International Proceedings in Informatics, LIPIcs
200.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding