Jakob Nordström

Jakob Nordström

Professor, Lektor


  1. 2021
  2. E-pub ahead of print

    Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search

    Devriendt, J., Gleixner, A. & Nordström, Jakob, 2021, I : Constraints. 30 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Accepteret/In press

    Proof Complexity and SAT Solving

    Buss, S. & Nordström, Jakob, 2021, (Accepteret/In press) Handbook of Satisfiability. Biere, A., Heule, M. J. H., van Maaren, H. & Walsh, T. (red.). IMIA and IOS Press

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  4. 2020
  5. Udgivet

    KRW Composition Theorems via Lifting

    de Rezende, S., Meir, O., Nordström, Jakob, Pitassi, T. & Robere, R., 1 nov. 2020, Proceedings of the 61st Annual IEEE Symposium on Foundations of Computer Science (FOCS '20). IEEE, s. 4149

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. Udgivet

    Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity

    de Rezende, S. F., Meir, O., Nordström, Jakob, Pitassi, T., Robere, R. & Vinyals, M., 1 nov. 2020, Proceedings of the 61st Annual IEEE Symposium on Foundations of Computer Science (FOCS '20). IEEE, s. 24-30

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning

    Liew, V., Beame, P., Devriendt, J., Elffers, J. & Nordström, Jakob, 1 sep. 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (FMCAD '20). IEEE, s. 194-204 9283622,

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  8. Udgivet

    Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs

    de Rezende, S. F., Nordström, Jakob, Risse, K. & Sokolov, D., 1 jul. 2020, 35th Computational Complexity Conference, CCC 2020. Saraf, S. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-24 28. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 169).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  9. Udgivet

    Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions

    Gocht, S., McCreesh, C. & Nordström, Jakob, 1 jul. 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI '20). International Joint Conferences on Artificial Intelligence, s. 1134-1140 7 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  10. Udgivet

    Automating Algebraic Proof Systems is NP-Hard

    de Rezende, S. F., Göös, M., Nordström, Jakob, Pitassi, T., Robere, R. & Sokolov, D., 1 maj 2020, Electronic Colloquium on Computational Complexity, 34 s.

    Publikation: Working paperForskning

  11. Udgivet

    A Cardinal Improvement to Pseudo-Boolean Solving

    Elffers, J. & Nordström, Jakob, 1 feb. 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press, s. 1495-1503 9 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  12. Udgivet

    Justifying All Differences Using Pseudo-Boolean Reasoning

    Elffers, J., Gocht, S., McCreesh, C. & Nordström, Jakob, 1 feb. 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press, s. 1486-1494 9 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1 2 3 4 5 6 Næste

ID: 209376262