Nordström, Jakob

12 publications

AAAI 2024 End-to-End Verification for Subgraph Solving Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan

IJCAI 2023 Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract) Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel

JAIR 2023 Certified Dominance and Symmetry Breaking for Combinatorial Optimisation Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

AAAI 2022 Certified Symmetry and Dominance Breaking for Combinatorial Optimisation Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

AAAI 2021 Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs Stephan Gocht, Jakob Nordström

AAAI 2021 Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey

AAAI 2020 A Cardinal Improvement to Pseudo-Boolean Solving Jan Elffers, Jakob Nordström

AAAI 2020 Justifying All Differences Using Pseudo-Boolean Reasoning Jan Elffers, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

IJCAI 2020 Subgraph Isomorphism Meets Cutting Planes: Solving with Certified Solutions Stephan Gocht, Ciaran McCreesh, Jakob Nordström

IJCAI 2019 On Division Versus Saturation in Pseudo-Boolean Solving Stephan Gocht, Jakob Nordström, Amir Yehudayoff

IJCAI 2018 Divide and Conquer: Towards Faster Pseudo-Boolean Solving Jan Elffers, Jakob Nordström

IJCAI 2018 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon