@misc{indiciae0489cc8f5b1f,
  title = {SAT-Based Complete Don't-Care Computation for Network Optimization},
  author = {Alan Mishchenko and Robert K. Brayton},
  year = {2007},
  url = {https://arxiv.org/abs/0710.4695},
  note = {Source identifier: 0710.4695}
}