%0 Journal Article %1 journals/dam/Ouyang98 %A Ouyang, Ming %D 1998 %J Discret. Appl. Math. %K dblp %N 1-3 %P 281-286 %T How Good Are Branching Rules in DPLL? %U http://dblp.uni-trier.de/db/journals/dam/dam89.html#Ouyang98 %V 89

@article{journals/dam/Ouyang98, added-at = {2021-02-11T00:00:00.000+0100}, author = {Ouyang, Ming}, biburl = {https://www.bibsonomy.org/bibtex/2a1bbf20c1ed074f0d0d089976d29eb6a/dblp}, ee = {https://www.wikidata.org/entity/Q29543496}, interhash = {9df253d5faed9e99dec96e3ccbfdde67}, intrahash = {a1bbf20c1ed074f0d0d089976d29eb6a}, journal = {Discret. Appl. Math.}, keywords = {dblp}, number = {1-3}, pages = {281-286}, timestamp = {2024-04-09T01:26:27.000+0200}, title = {How Good Are Branching Rules in DPLL?}, url = {http://dblp.uni-trier.de/db/journals/dam/dam89.html#Ouyang98}, volume = 89, year = 1998 }