Elffers, Jan

4 publications

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 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