PAPERS
- Heidi E. Dixon, Matthew L. Ginsberg, David Hofer, Eugene M. Luks, and Andrew J. Parkes, 2005. Generalizing Boolean Satisfiability III: Implementation. Journal of Artificial Intelligence Research, 23:441-531.
- Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, and Andrew J. Parkes, 2004. Generalizing Boolean Satisfiability II: Theory. Journal of Artificial Intelligence Research, 22:481-534.
- Heidi E. Dixon, 2004. Automating Psuedo-Boolean Inference within a DPLL Framework. Ph.D. Dissertation, University of Oregon.
- Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, and Andrew Parkes 2004. Implementing a generalized version of resolution. The Nineteenth National Conference on Artificial Intelligence (AAAI-2004).
- Heidi E. Dixon, Matthew L. Ginsberg, and Andrew J. Parkes, 2004. Generalizing Boolean Satisfiability I: Background and survey of existing work. Journal of Artificial Intelligence Research, 21:193-243.
- Heidi E. Dixon, Matthew L. Ginsberg, and Andrew J. Parkes, 2002. Likely Near-term Advances in SAT Solvers Workshop on Microprocessor Test and Verification (MTV 2002). Held in Austin, Texas, USA. June 2002.
- Heidi E. Dixon and Matthew L. Ginsberg, 2002. Inference methods for a pseudo-Boolean satisfiability solver. The Eighteenth National Conference on Artificial Intelligence (AAAI-2002).
- Heidi E. Dixon and Matthew L. Ginsberg, 2000. Combining Satisfiability techniques from AI and OR. The Knowledge Engineering Review 15(1).