ダウンロード

基数制約のSAT符号化を用いたMaxSATソルバーの試作