30
31
1New lower bounds for Polynomial Calculus over non-Boolean basesCombinatorial Problems arising in Quantum Physics and Model CountingÂ
2
3
4
5
6
7A Theory for Computing with SAT Solvers: Whats the Power of a Satisfying Assignment?
8Mining OSS Bug Fixes in the Wild with Precise Code Context and Their Structures
9
10
11Feature Tracking and Visual Analysis of Temporal Scalar Fields in the Ocean
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
6
7
8
9
10
