@TechReport{KneisRossmanith05,
  author =	 "Joachim Kneis and Peter Rossmanith",
  title =	 "A New Satisfiability Algorithm With Applications To {Max-Cut}",
  institution =	 "RWTH Aachen",
  year =	 2005,
  number =	 "AIB-2005-08",
  month =	 apr,
  url = "http://aib.informatik.rwth-aachen.de/2005/2005-08.ps.gz",
}