Project Strukturbasiertes 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

Staff

Managers

Faculty of Science
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science

Local organizational units

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science

Funders

Bonn, Nordrhein-Westfalen, Germany
Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.