BibTeX records: Heidi E. Dixon

download as .bib file

@inproceedings{DBLP:conf/aaai/AppleCCDFGKLSS11,
  author       = {Jim Apple and
                  Paul Chang and
                  Aran Clauson and
                  Heidi E. Dixon and
                  Hiba Fakhoury and
                  Matthew L. Ginsberg and
                  Erin Keenan and
                  Alex Leighton and
                  Kevin Scavezze and
                  Bryan Smith},
  editor       = {Wolfram Burgard and
                  Dan Roth},
  title        = {Green Driver: {AI} in a Microcosm},
  booktitle    = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  pages        = {1311--1316},
  publisher    = {{AAAI} Press},
  year         = {2011},
  url          = {https://doi.org/10.1609/aaai.v25i1.7798},
  doi          = {10.1609/AAAI.V25I1.7798},
  timestamp    = {Mon, 04 Sep 2023 16:05:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AppleCCDFGKLSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1107-0040,
  author       = {Heidi E. Dixon and
                  Matthew L. Ginsberg and
                  Andrew J. Parkes},
  title        = {Generalizing Boolean Satisfiability {I:} Background and Survey of
                  Existing Work},
  journal      = {CoRR},
  volume       = {abs/1107.0040},
  year         = {2011},
  url          = {http://arxiv.org/abs/1107.0040},
  eprinttype    = {arXiv},
  eprint       = {1107.0040},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-0040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1109-2134,
  author       = {Heidi E. Dixon and
                  Matthew L. Ginsberg and
                  Eugene M. Luks and
                  Andrew J. Parkes},
  title        = {Generalizing Boolean Satisfiability {II:} Theory},
  journal      = {CoRR},
  volume       = {abs/1109.2134},
  year         = {2011},
  url          = {http://arxiv.org/abs/1109.2134},
  eprinttype    = {arXiv},
  eprint       = {1109.2134},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-2134.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1109-2142,
  author       = {Heidi E. Dixon and
                  Matthew L. Ginsberg and
                  David K. Hofer and
                  Eugene M. Luks and
                  Andrew J. Parkes},
  title        = {Generalizing Boolean Satisfiability {III:} Implementation},
  journal      = {CoRR},
  volume       = {abs/1109.2142},
  year         = {2011},
  url          = {http://arxiv.org/abs/1109.2142},
  eprinttype    = {arXiv},
  eprint       = {1109.2142},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-2142.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/DixonGHLP05,
  author       = {Heidi E. Dixon and
                  Matthew L. Ginsberg and
                  David K. Hofer and
                  Eugene M. Luks and
                  Andrew J. Parkes},
  title        = {Generalizing Boolean Satisfiability {III:} Implementation},
  journal      = {J. Artif. Intell. Res.},
  volume       = {23},
  pages        = {441--531},
  year         = {2005},
  url          = {https://doi.org/10.1613/jair.1656},
  doi          = {10.1613/JAIR.1656},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/DixonGHLP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/DixonGP04,
  author       = {Heidi E. Dixon and
                  Matthew L. Ginsberg and
                  Andrew J. Parkes},
  title        = {Generalizing Boolean Satisfiability {I:} Background and Survey of
                  Existing Work},
  journal      = {J. Artif. Intell. Res.},
  volume       = {21},
  pages        = {193--243},
  year         = {2004},
  url          = {https://doi.org/10.1613/jair.1353},
  doi          = {10.1613/JAIR.1353},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/DixonGP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/DixonGLP04,
  author       = {Heidi E. Dixon and
                  Matthew L. Ginsberg and
                  Eugene M. Luks and
                  Andrew J. Parkes},
  title        = {Generalizing Boolean Satisfiability {II:} Theory},
  journal      = {J. Artif. Intell. Res.},
  volume       = {22},
  pages        = {481--534},
  year         = {2004},
  url          = {https://doi.org/10.1613/jair.1555},
  doi          = {10.1613/JAIR.1555},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/DixonGLP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/DixonGHLP04,
  author       = {Heidi E. Dixon and
                  Matthew L. Ginsberg and
                  David K. Hofer and
                  Eugene M. Luks and
                  Andrew J. Parkes},
  editor       = {Deborah L. McGuinness and
                  George Ferguson},
  title        = {Implementing a Generalized Version of Resolution},
  booktitle    = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
                  Sixteenth Conference on Innovative Applications of Artificial Intelligence,
                  July 25-29, 2004, San Jose, California, {USA}},
  pages        = {55--60},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2004},
  url          = {http://www.aaai.org/Library/AAAI/2004/aaai04-009.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DixonGHLP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/DixonG02,
  author       = {Heidi E. Dixon and
                  Matthew L. Ginsberg},
  editor       = {Rina Dechter and
                  Michael J. Kearns and
                  Richard S. Sutton},
  title        = {Inference Methods for a Pseudo-Boolean Satisfiability Solver},
  booktitle    = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
                  and Fourteenth Conference on Innovative Applications of Artificial
                  Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
  pages        = {635--640},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2002},
  url          = {http://www.aaai.org/Library/AAAI/2002/aaai02-095.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DixonG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.