@inproceedings{DBLP:conf/sara/AnsoteguiBPSV11,
  author    = {Carlos Ans{\'o}tegui and
               Miquel Bofill and
               Miquel Palah\'{\i} and
               Josep Suy and
               Mateu Villaret},
  title     = {Satisfiability Modulo Theories: An Efficient Approach for
               the Resource-Constrained Project Scheduling Problem},
  pages     = {2-9},
  booktitle = {SARA},
  year      = {2011},
  ee        = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4166},
  crossref  = {DBLP:conf/sara/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sara/2011,
  editor    = {Michael R. Genesereth and
               Peter Z. Revesz},
  title     = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
               and Approximation, SARA 2011, Parador de Cardona, Cardona,
               Catalonia, Spain, July 17-18, 2011},
  booktitle = {SARA},
  publisher = {AAAI},
  year      = {2011},
  isbn      = {978-1-57735-543-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}