Leszek Aleksander Kołodziejczyk

新しい証明システムがSAT解決の効率と能力をどう向上させるかを発見しよう。