The Computational Logic Group develops automated reasoning techniques for solving challenging computational problems in engineering and science. The current focus is on efficient computational methods for solving large constraint satisfaction problems including SAT, SMT and rule-based constraints and on their applications in areas such as computer aided verification, automated testing, product configuration, planning, combinatorial problems, and logical cryptanalysis.
The www pages of the group can be found at http://www.tcs.hut.fi/Research/Logic/.
Last updated on 30 Nov 2009 by Teemu Roos - Page created on 2 Nov 2009 by Webmaster