% @string{sat=" International Conference on Theory and Applications of Satisfiability Testing"} % @string{sat07="Proceedings of SAT-07: 10th" # sat} % @string{lncs="Lecture Notes in Computer Science"} @string{sat=" SAT"} @string{sat07="10th" # sat} @string{lncs="LNCS"} @inproceedings{ghss07:shortxors, author={Gomes, Carla P. and Hoffmann, Joerg and Sabharwal, Ashish and Selman, Bart}, title={Short {XORs} for Model Counting; From Theory to Practice}, booktitle=sat07, address={Lisbon, Portugal}, month=may, year=2007, series=lncs, volume=4501, pages={100-106}}