Experimental Analysis of Quantum Annealing for Satisfiability Problems. - Remma Ukaku; Tomohisa Kawakami; Hiroyuki Tomiyama (APCCAS, 2025)