American Fencer by Tim Morehouse
This book is devoted to the 6th International Conference on Theory and - plications of Satis?ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa, Italy), during May5-8,2003. SAT 2003followedthe WorkshopsonS- is?ability held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis?ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the 2003 edition, also a Quanti?ed Boolean Formulas (QBFs) solvers comparative evaluation. There were 67 submissions of high quality, authored by researchers from all over the world. All the submissions were thoroughly evaluated, and as a result 42 were selected for oral presentations, and 16 for a poster presentation. The presentations covered the whole spectrum of research in propositional and QBF satis?ability testing, including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial app- cations, speci?c tools, case studies and empirical results. Further, the program was enriched by three invited talks, given by Riccardo Zecchina (on Survey Propagation: from Analytic Results on Random k-SAT to a Message-Passing - gorithm for Satis?ability), Toby Walsh (on Challenges in SAT (and QBF)) and Wolfgang Kunz (on ATPG Versus SAT: Comparing Two Paradigms for Boolean Reasoning). SAT 2003 thus provided a unique forum for the presen- tion and discussion of research related to the theory and applications of pro- sitional and QBF satis?ability testing.
Tim Morehouse, a New York City native (born July 29, 1978), is an Olympic silver medalist in fencing (2008 Beijing Games), two-time individual U.S. National Champion (2010 and 2011), seven-time world cup medalist and number 1-ranked U.S. men's saber fencer from 2008 to 2011. He is the author of American Fencer: Modern Lessons From an Ancient Sport, founder and producer of the Fencing Masters Tournament (www.fencingmastersnyc.com), the largest spectator fencing competition in the United States and the only non-Olympic televised tournament in the United States. In 2011, he founded the Fencing-in-the-Schools foundation, a nonprofit program dedicated to bringing the sport of fencing to underserved communities throughout the country. He also is a media personality known for promoting the sport of fencing. He has been featured on the Today show, Access Hollywood, Good Day New York, MSNBC and Bloomberg News, and in Esquire magazine, Vanity Fair, USA Today, and the Sports Business Journal. In 2009, he taught President Obama to fence on the White House Lawn.
| SKU | Unavailable |
| ISBN 13 | 9780984733330 |
| ISBN 10 | 0984733337 |
| Title | American Fencer |
| Author | Tim Morehouse |
| Condition | Unavailable |
| Binding type | Hardback |
| Publisher | Acanthus Publishing |
| Year published | 2012-03-07 |
| Number of pages | 288 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |