@misc{indiciae4ee5baeea00c,
  title = {Calculating Valid Domains for BDD-Based Interactive Configuration},
  author = {Tarik Hadzic and Rune Moller Jensen and Henrik Reif Andersen},
  year = {2007},
  url = {https://arxiv.org/abs/0704.1394},
  note = {Source identifier: 0704.1394}
}