Számítógépes bizonyítási eljárások pakolási problémák megoldására

Időpont: 
2019. 04. 04. 14:15
Hely: 
BME H. épület 406 terem
Előadó: 
Markót Mihály Csaba Bécsi Egyetem, Matematika Tanszék