Computer scientists at the University of Michigan developed
open-source software that cuts the time to find symmetries in
complicated equations from days to seconds in some cases.
Finding symmetries is a way to highlight shortcuts to answers
that, for example, verify the safety of train schedules,
identify bugs in software and hardware designs, or speed up
common search tasks. The algorithm is an update to software
called 'saucy' that the researchers developed in 2004 and shared
with colleagues. Paul Darga, a graduate student in the
Department of Electrical Engineering and Computer Science, will
present the algorithm on 10 June at the Design Automation
Conference in Anaheim, California. Darga's co-authors are Igor
Markov, associate professor in the Department of Electrical
Engineering and Computer Science, and Karem Sakallah, a
professor in the same department. The software's applications
extend to artificial intelligence and logistics.It speeds up
solutions to fundamental computer science problems and quickl