@InProceedings{DBLP:conf/ijcai/DrummondPB15,
  Title                    = {{SAT} Is an Effective and Complete Method for Solving Stable Matching
 Problems with Couples},
  Author                   = {Joanna Drummond and
 Andrew Perrault and
 Fahiem Bacchus},
  Booktitle                = {Proceedings of the Twenty-Fourth International Joint Conference on
 Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
 25-31, 2015},
  Year                     = {2015},
  Pages                    = {518--525},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/DrummondPB15},
  Timestamp                = {Wed, 20 Jul 2016 15:18:06 +0200},
  Url                      = {http://ijcai.org/Abstract/15/079}
}

{"_id":"gqbqWtPzDQJ538X5A","bibbaseid":"drummond-perrault-bacchus-satisaneffectiveandcompletemethodforsolvingstablematchingproblemswithcouples-2015","downloads":0,"creationDate":"2018-09-20T19:33:15.618Z","title":"SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples","author_short":["Drummond, J.","Perrault, A.","Bacchus, F."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples","author":[{"firstnames":["Joanna"],"propositions":[],"lastnames":["Drummond"],"suffixes":[]},{"firstnames":["Andrew"],"propositions":[],"lastnames":["Perrault"],"suffixes":[]},{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]}],"booktitle":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015","year":"2015","pages":"518–525","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/ijcai/DrummondPB15","timestamp":"Wed, 20 Jul 2016 15:18:06 +0200","url":"http://ijcai.org/Abstract/15/079","bibtex":"@InProceedings{DBLP:conf/ijcai/DrummondPB15,\n Title = {{SAT} Is an Effective and Complete Method for Solving Stable Matching\n Problems with Couples},\n Author = {Joanna Drummond and\n Andrew Perrault and\n Fahiem Bacchus},\n Booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July\n 25-31, 2015},\n Year = {2015},\n Pages = {518--525},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/ijcai/DrummondPB15},\n Timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},\n Url = {http://ijcai.org/Abstract/15/079}\n}\n\n","author_short":["Drummond, J.","Perrault, A.","Bacchus, F."],"key":"DBLP:conf/ijcai/DrummondPB15","id":"DBLP:conf/ijcai/DrummondPB15","bibbaseid":"drummond-perrault-bacchus-satisaneffectiveandcompletemethodforsolvingstablematchingproblemswithcouples-2015","role":"author","urls":{"Paper":"http://ijcai.org/Abstract/15/079"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["sat","effective","complete","method","solving","stable","matching","problems","couples","drummond","perrault","bacchus"],"keywords":[],"authorIDs":["5456ed818b01c81930000075","545aa0deb43425b77200103c","5bc0a85d60248010000000bf"],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}