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

Authors: KRATOCHVIL J KRIVANEK M

Citation: J. Kratochvil et M. Krivanek, SATISFIABILITY OF CO-NESTED FORMULAS, Acta informatica, 30(4), 1993, pp. 397-403