Implementasi Quantum Backtracking Algorithm untuk Penyelesaian Circuit Satisfiabilitiy Problem - Laorensa, Vionie (2020)