1 code implementation • 14 Feb 2023 • Hod Wirzberger, Assaf Kalinski, Idan Meirzada, Harel Primack, Yaniv Romano, Chene Tradonsky, Ruti Ben Shlomi
Maximum 2-satisfiability (MAX-2-SAT) is a type of combinatorial decision problem that is known to be NP-hard.
no code implementations • 8 Sep 2022 • Yaniv Romano, Harel Primack, Talya Vaknin, Idan Meirzada, Ilan Karpas, Dov Furman, Chene Tradonsky, Ruti Ben Shlomi
The ultimate goal of any sparse coding method is to accurately recover from a few noisy linear measurements, an unknown sparse vector.