共 15 条
[1]
ADAM NR, 1989, COMPUT SURV, V21, P515, DOI 10.1145/76894.76895
[2]
Biere A., 2008, BOOLEAN MODELING COM, V4, P75
[3]
Blum Avrim, 2005, P 24 ACM SIGMOD SIGA, P128, DOI [DOI 10.1145/1065167.1065184, 10.1145/1065167.1065184]
[4]
Dinur I., 2003, P 22 ACM SIGMOD SIGA, P202
[5]
Dwork C, 2004, LECT NOTES COMPUT SC, V3152, P528
[6]
Calibrating noise to sensitivity in private data analysis
[J].
THEORY OF CRYPTOGRAPHY, PROCEEDINGS,
2006, 3876
:265-284
[8]
Kleinberg Jon., 2000, PODS, P86
[9]
Kong S., 2007, LECTURE
[10]
Conflict-driven clause learning SAT solvers
[J].
Front. Artif. Intell. Appl.,
2009, 1 (131-153)
:131-153