インフラ エンジニア ai おすすめ. Boolean satisfiability problem is np complete sat problem. ВИР Вавилова. DJI internship.