Jakob Nordström
Jakob Nordström
Affiliation: Lund University and Copenhagen University
Affiliation: University of Copenhagen, Denmark\\ Lund University, Sweden
Affiliation: University of Copenhagen and Lund University
Affiliation: University of Copenhagen, Denmark
Pages in this Program
Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB
Trimming Pseudo-Boolean Proofs
End-to-End Verification for Constraint Programming: Closing the Encodings Gap
Trimming Pseudo-Boolean Proofs
Certified Implicit Hitting Set Solving with Local Search for Pseudo-Boolean Optimization
Pseudo-Boolean Conflict Analysis
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑