Ofer Strichman
Ofer Strichman
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)
NobleCount: Revisiting a Forgotten Data Structure for Local Search in SAT
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑