A SAT Approach for Finding Sup-Transition-Minors

von Klocker, Benedikt
Veröffentlicht in LION (13. : 2019 : Chania) Learning and intelligent optimization (2020)