A SAT Approach for Finding Sup-Transition-Minors (bibtex)
by , ,
Reference:
A SAT Approach for Finding Sup-Transition-MinorsBenedikt Klocker, Herbert Fleischner, Günther R. RaidlProceedings of LION 13 – 13th International Conference on Learning and Intelligent Optimization, 2019, Springer.Note: to appear
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 = {Proceedings of LION~13 -- 13th International Conference on Learning and Intelligent Optimization},
  series = {LNCS},
  publisher = {Springer},
  year = {2019},
  note = {to appear}
}
Powered by bibtexbrowser