Thursday, March 31, 2016 — 9:00 AM EDT

Candidate

Jia Hui Liang

Topic

Combining Machine Learning with Deduction for SAT Solvers

Supervisors

Krzysztof Czarnecki and Vijay Ganesh

Background subjects

  • SAT Solving
  • Constraint Solving
  • Branching Heuristic
  • Machine Learning
Location 
EIT building
Room 3145

,

S M T W T F S
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
  1. 2020 (171)
    1. September (1)
    2. August (9)
    3. July (32)
    4. June (29)
    5. May (32)
    6. April (27)
    7. March (13)
    8. February (20)
    9. January (16)
  2. 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)
  3. 2018 (150)
  4. 2017 (212)
  5. 2016 (242)
  6. 2015 (242)
  7. 2014 (268)
  8. 2013 (192)
  9. 2012 (31)