Discrete Optimization
705 papers
Papers per year
1
9
7
4
10
5
15
35
29
26
19
41
60
54
66
68
63
49
90
51
3
'10
'15
'20
'25
Papers
Optimally Efficient Bidirectional Search
IJCAI 2019
Adaptive Hashing for Model Counting
UAI 2019
Learning to Solve SMT Formulas
NIPS 2018