%0 Journal Article %1 journals/engl/GuillenLI07 %A Guillén, Carlos %A López-López, Aurelio %A Luna, Guillermo De Ita %D 2007 %J Engineering Letters %K dblp %N 2 %P 259-265 %T Model Counting for 2SAT Based on Graphs by Matrix Operators. %U http://dblp.uni-trier.de/db/journals/engl/engl15.html#GuillenLI07 %V 15

@article{journals/engl/GuillenLI07, added-at = {2011-07-07T00:00:00.000+0200}, author = {Guillén, Carlos and López-López, Aurelio and Luna, Guillermo De Ita}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e0edbdadfd56dad9ceec0f672b114fad/dblp}, ee = {http://www.engineeringletters.com/issues_v15/issue_2/EL_15_2_12.pdf}, interhash = {7c7a57fddbfa72eea08e4a0ced89f04f}, intrahash = {e0edbdadfd56dad9ceec0f672b114fad}, journal = {Engineering Letters}, keywords = {dblp}, number = 2, pages = {259-265}, timestamp = {2016-02-02T10:10:22.000+0100}, title = {Model Counting for 2SAT Based on Graphs by Matrix Operators.}, url = {http://dblp.uni-trier.de/db/journals/engl/engl15.html#GuillenLI07}, volume = 15, year = 2007 }