Unsurprisingly, it turns out that other people had already thought of applying the multi-pass technique on GPU, but the idea is not very widely known. The colloquial name is "cone marching", and it's described in a few places online, notably:
Moves are stored in a TeX token list as \moveentry{from}{to}{flags}, where flags encode special moves:
，更多细节参见PG官网
Финляндия не нуждается в ядерном оружии в мирное время. Об этом заявил президент страны Александр Стубб, сообщает Yle.
Что думаешь? Оцени!
a satisfying assignment to a SAT problem is a witness to it’s satisfiability. It’s easy to check as assignment, hard to invent one