Prefix title Titel (vorangestellt)
Univ.Ass. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Slivovsky, Friedrich
 

Results 1-1 of 1 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Slivovsky Friedrich - 2015 - Structure in SAT and QBF.pdf.jpgSlivovsky, Friedrich Structure in #SAT and QBFThesis Hochschulschrift2015



Results 1-1 of 1 (Search time: 0.001 seconds).

TitleP-InvestigatorProject status
Learning to Solve Quantified Boolean FormulasSlivovsky, FriedrichIN PROGRESS