M.Sc. Student · Technion · Faculty of Data and Decision Sciences
yamslonimski@campus.technion.ac.il
About
I am a master's student at Technion advised by Prof. Ofer Strichman and Dr. Alexander Nadel. My research focuses on SAT-based optimization, with emphasis on MaxSAT solving, anytime algorithms, and incremental solving techniques.
I am the primary developer of Aperture, an anytime, incremental SAT-based optimization tool supporting MaxSAT, Modulo Bit-Vector Optimization, and Black-Box Optimization.
Research Interests
Publications
Aperture: an Anytime, Complete and Incremental MaxSAT Solver
FMCAD 2026
Competition Results
Aperture participated in the MaxSAT Evaluation 2026, competing against 12 eligible solvers across anytime weighted and unweighted tracks, each at three time limits. It ranked 1st in all weighted tracks across all time limits, with a notable gap over the second-place solver.
| Track | Time Limit | Ranking |
|---|---|---|
| Weighted | 60s | 1st / 12 🥇 |
| Weighted | 300s | 1st / 12 🥇 |
| Weighted | 1707s | 1st / 12 🥇 |
| Unweighted | 60s | 3rd / 11 🥉 |
| Unweighted | 300s | 1st / 11 🥇 |
| Unweighted | 1707s | 2nd / 11 🥈 |
14 total submissions; 2 disqualified. Unweighted denominators exclude 1 weighted-only solver.