A SAT Approach for Finding Sup-Transition-Minors - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benedikt Klocker, Herbert Fleischner, Günther R. Raidl. A SAT Approach for Finding Sup-Transition-Minors. In Nikolaos F. Matsatsinis, Yannis Marinakis, Panos M. Pardalos, editors, Learning and Intelligent Optimization - 13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, Revised Selected Papers. Volume 11968 of Lecture Notes in Computer Science, pages 325-341, Springer, 2019. [doi]

This author has not been identified. Look up 'Benedikt Klocker' in GoogleThis author has not been identified. Look up 'Herbert Fleischner' in GoogleThis author has not been identified. Look up 'Günther R. Raidl' in Google

runs on WebDSL