no code implementations • 30 Jan 2023 • Pouya Shati, Eldan Cohen, Sheila Mcilraith
In this work, we present a novel SAT-based framework for interpretable clustering that supports clustering constraints and that also provides strong theoretical guarantees on solution quality.
no code implementations • 4 Mar 2020 • Eldan Cohen, Avradip Mandal, Hayato Ushijima-Mwesigwa, Arnab Roy
The emergence of specialized optimization hardware such as CMOS annealers and adiabatic quantum computers carries the promise of solving hard combinatorial optimization problems more efficiently in hardware.
no code implementations • 27 Sep 2018 • Eldan Cohen, J. Christopher Beck
We find that increasing the beam width leads to sequences that are disproportionately based on early and highly non-greedy decisions.