MSCA COFUND Doctoral Programme LogiCS@TUWienJan 1, 2024Go to Project SiteCurrent Research ProjectsAC AdminWebsite maintainerPublicationsThe 3-Decomposition Conjecture: A SAT-Based Approach with Specialized PropagatorsStefan SzeiderPDF Cite Project Project DOISearching for smallest universal graphs and tournaments with SATTianwei Zhang, Stefan SzeiderPDF Cite Project Project DOI
