共 147 条
[3]
Andrei N., 2008, ADV MODEL OPTIM, V10, P147, DOI DOI 10.1021/es702781x
[4]
[Anonymous], 2014, TECHNICAL REPORT
[5]
[Anonymous], 2010, SOFTWARE AUTOMATIC T
[6]
[Anonymous], 2010, J. Satisf. Boolean Model. Comput., DOI DOI 10.3233/SAT190078
[7]
[Anonymous], 2007, TECHNICAL REPORT
[9]
ASAADI J, 1973, MATH PROGRAM, V4, P144
[10]
Audet C, 2014, TECHNICAL REPORT