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. 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},
}
Powered by bibtexbrowser