Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
SIMULATED ANNEALING - A PROOF OF CONVERGENCE
Authors:
GRANVILLE V KRIVANEK M RASSON JP
Citation:
V. Granville et al., SIMULATED ANNEALING - A PROOF OF CONVERGENCE, IEEE transactions on pattern analysis and machine intelligence, 16(6), 1994, pp. 652-656
SATISFIABILITY OF CO-NESTED FORMULAS
Authors:
KRATOCHVIL J KRIVANEK M
Citation:
J. Kratochvil et M. Krivanek, SATISFIABILITY OF CO-NESTED FORMULAS, Acta informatica, 30(4), 1993, pp. 397-403
Risultati:
1-2
|