ProjectStrukturbasiertes Algorithm Engineering für SAT-Solving
Basic data
Title:
Strukturbasiertes Algorithm Engineering für SAT-Solving
Duration:
31/05/2007 to 23/06/2010
Keywords:
Algorithm Engineering
SAT-Solver
structural analysis
Strukturanalyse
networks
Netzwerke
Involved staff
Managers
Faculty of Science
University of Tübingen
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science
Department of Informatics, Faculty of Science
Local organizational units
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science
Faculty of Science
Funders
Bonn, Nordrhein-Westfalen, Germany
Bonn, Nordrhein-Westfalen, Germany