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
Affiliation: Lund University and University of Copenhagen
Talks
(MC)
Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB · Proof Logging and Knowledge Compilation
(WHOOPS)
Trimming Pseudo-Boolean Proofs · Papers 1
(WHOOPS)
End-to-End Verification for Constraint Programming: Closing the Encodings Gap · Papers 3
(PoS)
Trimming Pseudo-Boolean Proofs · Session 1: Proofs
(Soft)
Certified Implicit Hitting Set Solving with Local Search for Pseudo-Boolean Optimization · Session 2
(Soft)
Pseudo-Boolean Conflict Analysis · Session 3
(CompBench)
Analyzing Benchmark Selection Methods · Analyzing Benchmarks, Solvers and Performance Drivers
(CP)
Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB · Verification, Certification
(CP)
End-to-end Certified Graph Colouring · Verification, Certification
Pages in this Program
Program
Program on Saturday, 25 July 2026
MC on Saturday, 25 July 2026
MC Program
Program on Sunday, 19 July 2026
WHOOPS on Sunday, 19 July 2026
WHOOPS Program
PoS on Sunday, 19 July 2026
PoS Program
Program on Friday, 24 July 2026
Soft on Friday, 24 July 2026
Soft Program
CompBench on Saturday, 25 July 2026
CompBench Program
Program on Tuesday, 21 July 2026
CP on Tuesday, 21 July 2026
CP Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑