Francesca Scozzari

変数の共有と線形性を分析して論理プログラミングのパフォーマンスを向上させる。