Restart Strategies

Jan-Hendrik Lorenz completed his Bachelor's and Master's studies at Ulm University. He conducted his doctoral studies at the Institute for Theoretical Computer Science at Ulm University. Of his published works, a total of three were awarded the Best Student Paper Award. The editor Thom Frühwirth is a professor of Computer Science at the University of Ulm, Germany. He is the designer of the programming language Constraint Handling Rules (CHR) and author of the book by the same name.
He has also co-authored two leading textbooks on constraint programming and reasoning. The editor Uwe Schöning is a professor of Theoretical Computer Science at the University of Ulm, Germany. He introduced the low and high hierarchies to structural complexity theory to describe the internal structure of the complexity class NP. Later, he invented a much-cited SAT-Algorithm. He has also authored several popular textbooks on Logic in Computer Science.