Jakob Peterson
Jakob Peterson
Affiliation: University of Freiburg
Pages in this Program
Improving Local Search and adding DDFW to Kissat and CaDiCaL
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑