Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
A VARIATIONAL METHOD FOR ANALYZING UNIT CLAUSE SEARCH
Authors:
MEJEAN HM MOREL H REYNAUD G
Citation:
Hm. Mejean et al., A VARIATIONAL METHOD FOR ANALYZING UNIT CLAUSE SEARCH, SIAM journal on computing, 24(3), 1995, pp. 621-649
Risultati:
1-1
|