@misc{indiciae4b3070357019,
  title = {How To Catch A Lion In The Desert -- On The Solution Of The Coverage Directed Generation (CDG) Problem},
  author = {Raviv Gal and Eldad Haber and Brian Irwin and Bilal Saleh and Avi Ziv},
  year = {2019},
  doi = {10.1007/s11081-020-09507-w},
  url = {https://arxiv.org/abs/1910.00170},
  note = {Source identifier: 1910.00170}
}