A SAT Approach for Finding Sup-Transition-Minors

Klocker, Benedikt; Fleischner, Herbert; Raidl, Günther R.

by Benedikt Klocker, Herbert Fleischner, Günther R. Raidl

Reference:

A SAT Approach for Finding Sup-Transition-MinorsBenedikt Klocker, Herbert Fleischner, Günther R. RaidlLearning and Intelligent Optimization. LION 2019, volume 11968 of LNCS, pages 325–341, 2019, Springer.

Bibtex Entry:

@inproceedings{klocker-19a,
  author = {Benedikt Klocker and Herbert Fleischner and G{\"{u}}nther R. Raidl},
  title = {A {SAT} Approach for Finding Sup-Transition-Minors},
  booktitle = {Learning and Intelligent Optimization. LION~2019},
  series = {LNCS},
  publisher = {Springer},
  year = {2019},
  pages = {325--341},
  volume = 11968,
  url={https://www.ac.tuwien.ac.at/files/pub/klocker-19a.pdf},
}