E-mail senden E-Mail Adresse kopieren
Doktorand:in

Mohamed Abdelhamid Ghanem

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Mohamed Abdelhamid Ghanem

Jahr 2024

2024-01-24

NeuRes: A Neural Resolution Prover of Unsatisfiability

thesis-dissertation

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen