Thursday, April 10, 2014

Thursday, April 10, 2014 — 2:00 PM EDT

Speaker

Dr. Alexandra Goultiaeva

Topic

Exploiting Problem Structure in QBF Solving

Abstract

  1. 2021 (1)
    1. January (1)
  2. 2020 (211)
    1. November (3)
    2. October (16)
    3. September (15)
    4. August (16)
    5. July (32)
    6. June (29)
    7. May (32)
    8. April (27)
    9. March (13)
    10. February (20)
    11. January (16)
  3. 2019 (282)
    1. December (16)
    2. November (32)
    3. October (19)
    4. September (26)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  4. 2018 (150)
  5. 2017 (212)
  6. 2016 (242)
  7. 2015 (242)
  8. 2014 (268)
    1. December (30)
    2. November (27)
    3. October (14)
    4. September (27)
    5. August (24)
    6. July (25)
    7. June (13)
    8. May (23)
    9. April (43)
    10. March (10)
    11. February (12)
    12. January (20)
  9. 2013 (192)
  10. 2012 (31)