P01 - Prädiktorfunktion
Grundlage. Abbildung 3: Entwickelter Hypothesen-Editor Abbildung 4: Grammatik der domänenspezifischen Sprache Das Hypothesensystem Ein Hypothesensystem in Kombination mit einer d omänenspezifischen Sprache [...] l Systems, International Test Conference in Asia (ITC-Asia), Tokyo, Japan, 2019. B. Ustaoglu, S. Huhn, F. S. Torres, D. Große, R. Drechsler: SAT-Hard: A Learning-based Hardware SAT-Solver, EUROMICRO Digital [...] Systemen. 2019. Prien am Chiemsee, Germany. [Link zum Workshop ] [Link zum PDF ] Ustaoglu, B., Huhn , S., Große, D., Drechsler, R. SAT-Lancer: A Hardware SAT-Solver for Self-Verification. 28th ACM Great Lakes