共 22 条
[1]
Abate P., 2011, CBSE 2011
[4]
Barth A., 2014, DEBIAN DEV REFERENCE
[5]
Bavota G, 2014, EMPIR SOFTW ENG, V20, P1
[6]
Caneill M, 2014, ESEM 2014
[8]
Dumitras T, 2009, LECT NOTES COMPUT SC, V5896, P349, DOI 10.1007/978-3-642-10445-9_18
[9]
An extensible SAT-solver
[J].
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING,
2004, 2919
:502-518
[10]
Fleurey Franck, 2007, DEBIAN POLICY MANUAL