Yam Slonimski
Yam Slonimski
Affiliation: Faculty of Data and Decision Sciences, Technion
Pages in this Program
Aperture: an Anytime, Complete, and Incremental Solver for MaxSAT and Beyond (Work-in-Progress)
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑