Mike Whalen

新しい方法が単調理論に対するSATの証明生成を強化する。

データタイプに焦点を当てたジェネレーターベースのファジングを強化する新しいアプローチ。