RAMP講演

10月12日筑波大学にてA SAT approach to Nurse Scheduling Problemというテーマで、講演します。予稿を今執筆中ですが、正直面白くないと思います。
その頃には、MaxSAT　Competition２０１７の結果も出ているだろうし、参加したソルバー（maxroster)と他のＳｔａｔｅＯｆＡｒｔソルバーも結果が出ていると思います。もし可能ならば、そういったお話しもスライドでは行いたいと思います。楽しみにしていてください。