SCSat3によるラムゼーグラフ探索について

抄録

対称性等の選好的制約を探索制御のために用いることを特徴とするSATソルバー SCSat3を開発した。これを用いて、ラムゼーグラフの探索を行った。 その結果、ラムゼー数R(4,11)の下界を98から101に更新することに成功した。