Pencarian kedalaman-pertama yang memilih nilai untuk satu variabel pada satu waktu dan kembali ketika suatu variabel tidak memiliki nilai hukum yang tersisa untuk ditetapkan

Backtrack search
Proud Piranha