%0 Journal Article %1 journals/tcad/ChaiK05 %A Chai, Donald %A Kuehlmann, Andreas %D 2005 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 3 %P 305-317 %T A fast pseudo-Boolean constraint solver. %U http://dblp.uni-trier.de/db/journals/tcad/tcad24.html#ChaiK05 %V 24

@article{journals/tcad/ChaiK05, added-at = {2020-09-24T00:00:00.000+0200}, author = {Chai, Donald and Kuehlmann, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2b7d9e146c8df4e34a3f9b104254e74c4/dblp}, ee = {https://doi.org/10.1109/TCAD.2004.842808}, interhash = {0aaf7218cc1c34827284fd8b5946a02a}, intrahash = {b7d9e146c8df4e34a3f9b104254e74c4}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 3, pages = {305-317}, timestamp = {2020-09-25T11:46:43.000+0200}, title = {A fast pseudo-Boolean constraint solver.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad24.html#ChaiK05}, volume = 24, year = 2005 }