No photo of Parvin Sadigova

Parvin Sadigova

Mrs

  • 2
    Citations

Fingerprint

Dive into the research topics where Parvin Sadigova is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 1 Conference paper

  • Lookahead-Based SMT Solving

    Hyyvarinen, A., Marescotti, M., Sadigova, P., Chockler, H. & Sharygina, N., 16 Nov 2018, LPAR-22: LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING. EasyChair

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
    2 Citations (Scopus)
    145 Downloads (Pure)