Origins of Human AIDS Viruses Elizabeth Bailes Institute of Genetics University of Nottingham.
Using Problem Structure for Efficient Clause Learning Ashish Sabharwal, Paul Beame, Henry Kautz University of Washington, Seattle April 23, 2003.