以前听说过Kissat和CaDiCaL,...

以前听说过Kissat和CaDiCaL, 还听说过LSTM(不过我不是做AI的), 当然还尝试看过一些半代数的东西是如何实现的, 发现这些工作居然都是在Linz这个小城市..这个学校也没啥名气...(字面意义上, 南德和奥地利没有名气的地方很多, 但是Linz绝对独一档)