ic Programming Theory and Practice VIII.pdf

Rick Riolo, Trent McConaghy and Ekaterina Vladislavleva (Eds.)
ic Programming Theory and Practice VIII
ic and putation
Series Editors
John R. Koza
Consulting Editor
Medical Informatics
Stanford University
Stanford, CA 94305-5479 USA
Email: john@
For other titles published in this series, go to ies/6016
Rick Riolo • Trent McConaghy
Ekaterina Vladislavleva
Editors
ic Programming
Theory and Practice VIII
Foreword by Nic McPhee
1 C
Editors
Dr. Rick Riolo Dr. Ekaterina Vladislavleva
University of Michigan University of Antwerp
Center for the Study plex Dept. Mathematics & Computer Science
Systems Campus Middelheim
323 West Hall
Ann Arbor Michigan 48109 2020 Antwerpen
USA Belgium
******@ katyavladislavleva@
Dr. Trent McConaghy
Solido Design Automation, Inc.
102-116 Research Drive
S7N 3R3 Saskatoon
Saskatchewan
Canada
onaghy@

ISSN 1566-7863
ISBN 978-1-4419-7746-5 e-ISBN 978-1-4419-7747-2
DOI -1-4419-7747-2
Springer New York Dordrecht Heidelberg London
Library of Congress Control Number: 2010938320
© Springer Science+Business Media, LLC 2011
All rights reserved. This work may not be translated or copied in whole or in part without the written
permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York, NY
10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connec-
tion with any form of information storage and retrieval, electronic adaptation, computer software, or by
similar or dissimilar methodology now known or hereafter developed is forbidden.
The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are
not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject
to proprietary rights.
Printed on acid-free paper
Springer is part of Springer Science+Business Media ()
Contents
Contributing Authors vi