Mitra pada program PKM ini adalah BSRB (Bank Sampah Resik Becik) di Kota Semarang. Permasalahan yang dihadapi oleh mitra PKM adalah adanya penimbunan sampah bohlam lampu, hal ini karena mereka belum dapat mampu melakukan reuse untuk jenis sampah ini. Sebenarnya reuse bulb (rebu), sangatlah mudah dan dapat dilakukan oleh siapapun. Dengan permasalahan yang dialami oleh mitra, maka sangat diperlukan sebuah teknologi terapan dari proses reuse dari sampah bohlam lampu, yang diwujudkan dalam workshop pelatihan pengolahan hingga proses design product akhir dan penjualan. Penerapan teknologi ini diharapkan dapat meningkatkan produktifitas dan produk hasil bagi mitra UMKM BSRB di Kota Semarang. Dengan mengaplikasikan teknologi rebu (reuse bulb) yang menggunakan Bulb bekas ini adalah meningkatkan produktifitas mitra. Masyarakat wajib mengetahui nilai ekonomis produk, agar dapat melihat peluang bisnis. Peluang bisnis dirangkum dalam data yang akan di forecasting untuk kebutuhan tertentu. Pada artikel pengabdian masyarakat kali ini, akan dibandingkan forecasting antara penggunaan regresi non linear polynomial dengan metode logika fuzzy, yaitu menggunakan fuzzy mamdani. Dengan mengetahui prospek bisnis beberapa tahun berikutnya, masyarakat binaan dapat mempersiapkan dan semangat dalam melaksanakan kegiatan reduce, reuse dan recycle.
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic