Jakob Nordström

Professor
Fler filtreringsmöjligheter
  1. 2021
  2. Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search

    Jo Devriendt, Ambros Gleixner & Jakob Nordström, 2021 jan 18, I: Constraints.

    Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskrift

  3. Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

    Susanna F. De Rezende, Or Meir, Jakob Nordström & Robert Robere, 2021, I: Computational Complexity. 30, 1, 4.

    Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskrift

  4. 2020
  5. Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs

    Susanna F. de Rezende, Jakob Nordström, Kilian Risse & Dmitry Sokolov, 2020 jul 1, CCC '20: Proceedings of the 35th Computational Complexity Conference 2020. Saraf, S. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 169).

    Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

  6. Trade-offs between size and degree in polynomial calculus

    Guillaume Lagarde, Jakob Nordström, Dmitry Sokolov & Joseph Swernofsky, 2020 jan, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 72. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

    Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

  7. Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems

    Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser & James Trimble, 2020, Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Proceedings. Simonis, H. (red.). Springer, s. 338-357 20 s. (Lecture Notes in Computer Science; vol. 12333).

    Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

  8. Simplified and Improved Separations Between Regular and General Resolution by Lifting

    Marc Vinyals, Jan Elffers, Jan Johannsen & Jakob Nordström, 2020, Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Proceedings. Pulina, L. & Seidl, M. (red.). Springer, s. 182-200 19 s. (Lecture Notes in Computer Science; vol. 12178).

    Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

  9. Supercritical space-width trade-offs for resolution

    Christoph Berkholz & Jakob Nordström, 2020, I: SIAM Journal on Computing. 49, 1, s. 98-118 21 s.

    Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskrift

  10. Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models

    Buser Say, Jo Devriendt, Jakob Nordström & Peter J. Stuckey, 2020, Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Proceedings. Simonis, H. (red.). Springer, s. 917-934 18 s. (Lecture Notes in Computer Science; vol. 12333).

    Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

  11. Using Resolution Proofs to Analyse CDCL Solvers

    Janne I. Kokkala & Jakob Nordström, 2020, Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Proceedings. Simonis, H. (red.). Springer, s. 427-444 18 s. (Lecture Notes in Computer Science; vol. 12333).

    Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

  12. Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning

    Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers & Jakob Nordstrom, 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. Ivrii, A., Strichman, O., Hunt, W. A. & Weissenbacher, G. (red.). Institute of Electrical and Electronics Engineers Inc., s. 194-204 11 s. 9283622. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020).

    Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

Föregående 1 2 3 4 5 Nästa