Project Acronym Projekt Kurzbezeichnung
ASK-SAT
Project Title (de) Projekttitel (de)
Alterierende Suche in der Kombinatorik mit SAT
Project Title (en) Projekttitel (en)
Alternating Symmetry-Breaking Combinatorial Search with SAT
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in