这是indexloc提供的服务，不要输入任何密码

Account

Table 3 Results for the application track with QBCE (but without preprocessing)

From: Long-Distance Q-Resolution with Dependency Schemes

Configuration	Solved	True	False	Time
LDQD	440	223	217	287,012
LDQ	435	223	212	291,574
QD	440	225	215	291,661
Q	437	221	216	337,141

Back to article page