%0 Journal Article %1 journals/jsat/HertelU09 %A Hertel, Alexander %A Urquhart, Alasdair %D 2009 %J J. Satisf. Boolean Model. Comput. %K dblp %N 1-3 %P 141-164 %T Algorithms and Complexity Results for Input and Unit Resolution. %U http://dblp.uni-trier.de/db/journals/jsat/jsat6.html#HertelU09 %V 6

@article{journals/jsat/HertelU09, added-at = {2020-08-17T00:00:00.000+0200}, author = {Hertel, Alexander and Urquhart, Alasdair}, biburl = {https://www.bibsonomy.org/bibtex/2295e72dbc170a9b98ff6161e32f3f3f5/dblp}, ee = {https://doi.org/10.3233/sat190066}, interhash = {ca0c57b49e3d2d53deabb417914d5526}, intrahash = {295e72dbc170a9b98ff6161e32f3f3f5}, journal = {J. Satisf. Boolean Model. Comput.}, keywords = {dblp}, number = {1-3}, pages = {141-164}, timestamp = {2020-08-18T11:43:56.000+0200}, title = {Algorithms and Complexity Results for Input and Unit Resolution.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat6.html#HertelU09}, volume = 6, year = 2009 }