%0 Journal Article %1 journals/corr/HuangEWDP14 %A Huang, Zongyan %A England, Matthew %A Wilson, David J. %A Davenport, James H. %A Paulson, Lawrence C. %D 2014 %J CoRR %K dblp %T A comparison of three heuristics to choose the variable ordering for CAD. %U http://dblp.uni-trier.de/db/journals/corr/corr1405.html#HuangEWDP14 %V abs/1405.6082

@article{journals/corr/HuangEWDP14, added-at = {2022-01-31T00:00:00.000+0100}, author = {Huang, Zongyan and England, Matthew and Wilson, David J. and Davenport, James H. and Paulson, Lawrence C.}, biburl = {https://www.bibsonomy.org/bibtex/2aad8a14c98a34364c599cf16f8f21ac8/dblp}, ee = {http://arxiv.org/abs/1405.6082}, interhash = {030b256f8776a747b7e9b627dc995032}, intrahash = {aad8a14c98a34364c599cf16f8f21ac8}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:25:06.000+0200}, title = {A comparison of three heuristics to choose the variable ordering for CAD.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1405.html#HuangEWDP14}, volume = {abs/1405.6082}, year = 2014 }