@Bibtex-file{Theory/satbib.bib,
  title =        "Bibliography of the {SATBIB} project",
  author =       "Daniel Le Berre",
  email =        "daniel@satlive.org",
  address =      "Faculty of Economics and Commerce \\ School Of
                 Management, S123 \\ University of Newcastle, Callaghan,
                 NSW 2308\\ Australia",
  supported =    "yes",
  keywords =     "satisfiability problem",
}