Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jakob Nordström

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jo Devriendt

> Home > Persons > Jakob Nordström

Publications

2021
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/DevriendtGN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/DevriendtGN21
Jo Devriendt, Ambros M. Gleixner, Jakob Nordström:
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. Constraints An Int. J. 26(1): 26-55 (2021)
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DevriendtGDNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DevriendtGDNS21
Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey:
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. AAAI 2021: 3750-3758
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-00633
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-00633
Buser Say, Scott Sanner, Jo Devriendt, Jakob Nordström, Peter J. Stuckey:
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021. CoRR abs/2108.00633 (2021)
2020
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SayDNS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SayDNS20
Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey:
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. CP 2020: 917-934
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/LiewBDEN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LiewBDEN20
Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström:
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. FMCAD 2020: 194-204
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/DevriendtGDNS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DevriendtGDNS20
Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey:
Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning". Zenodo, 2020

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.