%0 Journal Article %1 journals/corr/abs-0704-1394 %A Hadzic, Tarik %A Jensen, Rune Møller %A Andersen, Henrik Reif %D 2007 %J CoRR %K dblp %T Calculating Valid Domains for BDD-Based Interactive Configuration %U http://dblp.uni-trier.de/db/journals/corr/corr0704.html#abs-0704-1394 %V abs/0704.1394

@article{journals/corr/abs-0704-1394, added-at = {2023-07-06T00:00:00.000+0200}, author = {Hadzic, Tarik and Jensen, Rune Møller and Andersen, Henrik Reif}, biburl = {https://www.bibsonomy.org/bibtex/219ccb63ff93ef5596b9dc0b3b645f40d/dblp}, ee = {http://arxiv.org/abs/0704.1394}, interhash = {876f71c5214206e3ed329ccaf85f1a02}, intrahash = {19ccb63ff93ef5596b9dc0b3b645f40d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:52:47.000+0200}, title = {Calculating Valid Domains for BDD-Based Interactive Configuration}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0704.html#abs-0704-1394}, volume = {abs/0704.1394}, year = 2007 }