Enviar aquest missatge de text: Distributed Binary Optimization with In-Memory Computing: An Application for the SAT Problem