Jakob Nordström
31 – 40 of 73
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Trade-offs between size and degree in polynomial calculus
(2020) 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 In Leibniz International Proceedings in Informatics, LIPIcs 151.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
(2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lifting with simple gadgets and applications to circuit and proof complexity
De Rezende, Susanna LU
; Meir, Or
; Nordstrom, Jakob
LU
; Pitassi, Toniann
; Robere, Robert
and Vinyals, Marc
(2020)
61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020
In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
2020-November.
p.24-30
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
KRW composition theorems via lifting
De Rezende, Susanna F. LU
; Meir, Or
; Nordstrom, Jakob
LU
; Pitassi, Toniann
and Robere, Robert
(2020)
61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020
In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
2020-November.
p.43-49
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
Mark
On division versus saturation in pseudo-boolean solving
(2019) 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 In IJCAI International Joint Conference on Artificial Intelligence 2019-August. p.1711-1718
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Nullstellensatz size-degree trade-offs from reversible pebbling
De Rezende, Susanna F. LU
; Nordström, Jakob
LU
; Meir, Or
and Robere, Robert
(2019)
34th Computational Complexity Conference, CCC 2019
In Leibniz International Proceedings in Informatics, LIPIcs
137.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
Seeking practical CDCL insights from theoretical SAT benchmarks
(2018) 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 In IJCAI International Joint Conference on Artificial Intelligence 2018-July. p.1300-1308
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Divide and conquer : Towards faster pseudo-boolean solving
(2018) 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 In IJCAI International Joint Conference on Artificial Intelligence 2018-July. p.1291-1299
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
In between resolution and cutting planes : A study of proof systems for pseudo-boolean SAT solving
(2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.292-310
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
(2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.75-93
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding