Hjem
Farhad  Vadiees bilde

Farhad Vadiee

Ph.d.-kandidat
  • E-postFarhad.Vadiee@uib.no
  • Besøksadresse
    HIB - Thormøhlens gate 55
    5006 Bergen
  • Postadresse
    Postboks 7803
    5020 Bergen
Vitenskapelig artikkel
  • Vis forfatter(e) (2023). From Width-Based Model Checking to Width-Based Automated Theorem Proving. Proceedings of the AAAI Conference on Artificial Intelligence.
  • Vis forfatter(e) (2021). Unitary Branching Programs: Learnability and Lower Bounds. Proceedings of Machine Learning Research (PMLR). 297-306.
Fagartikkel
  • Vis forfatter(e) (2023). PACE Solver Description: Zygosity. Leibniz International Proceedings in Informatics. 39:1-39:3.

Se fullstendig oversikt over publikasjoner i CRIStin.