Wietze Koops
Wietze Koops
Affiliation: Lund University and University of Copenhagen
Affiliation: Lund University & University of Copenhagen
Affiliation: Lund University, Sweden\\ University of Copenhagen, Denmark
Affiliation: University of Copenhagen, Denmark
Talks
(PC)
Cutting Planes with Cover Cuts · Contributed Talks 3
(WHOOPS)
Trimming Pseudo-Boolean Proofs · Papers 1
(PoS)
Trimming Pseudo-Boolean Proofs · Session 1: Proofs
(WHOOPS)
End-to-End Verification for Constraint Programming: Closing the Encodings Gap · Papers 3
(CP)
End-to-end Certified Graph Colouring · Verification, Certification
(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
Pages in this Program
Program
Program on Saturday, 18 July 2026
PC on Saturday, 18 July 2026
PC 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 Tuesday, 21 July 2026
CP on Tuesday, 21 July 2026
CP Program
Program on Friday, 24 July 2026
Soft on Friday, 24 July 2026
Soft Program
Program on Saturday, 25 July 2026
CompBench on Saturday, 25 July 2026
CompBench Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑