i built sudoku solver in fcc, and i learned how back tracking works

i am came across this new things which i need to explore:

https://codegolf.stackexchange.com/questions/10534/build-a-killer-sudoku-solver?rq=1

https://codegolf.stackexchange.com/questions/261725/sudoku-as-a-sat-problem

https://www.youtube.com/results?search_query=Boolean+satisfiability+problem