This paper describes SSCPA, an uncooperative multiple calculus competition parallelism ATP system, that multitasks on a single CPU. SSCPA runs multiple sequential ATP systems in parallel, using performance data from the ATP systems to select those that are best suited to the problem.
Published Date: May 1999
Registration: ISBN 978-1-57735-080-4
Copyright: Published by The AAAI Press, Menlo Park, California.