What a coincidence. I've also been looking into crossword generation recently. Have a look (https://bohlender.pro/blog/generating-crosswords-with-sat-sm...) if you're interested in a SAT-based solution. However, now I'll have to watch these videos for further insights.