Kleine Buning, H.,Zhao, Xishun..Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /.Springer,,c2008..
Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /
American Society of Mechanical Engineers,ASME/DED Virbrations conference.ASME/DED Vibrations conference ()1975：Vibration testing-instrumentation and data analysis.[s. n.],1975.
