-
3
-
-
85059770931
-
The complexity of theorem proving procedures
-
ACM Symposium on Theory of Computing
-
Cook S.A.: The complexity of theorem proving procedures. In Conference Records of Third Annual ACM Symposium on Theory of Computing, pages 151-158, 1971.
-
(1971)
Conference Records of Third Annual
, pp. 151-158
-
-
Cook, S.A.1
-
4
-
-
0001259989
-
SAT versus UNSAT
-
American Mathematical Society
-
Dubois O., Andre P., Boufkhad Y., Carlier J.: SAT versus UNSAT. In Clique, Coloring and Satisfiability: Second DIMACS implementation challenge, Volume 26 of DIMACS series in Discrete Mathematics and Computer Science, pages 415- 136, American Mathematical Society, 1996.
-
(1996)
Clique, Coloring and Satisfiability: Second DIMACS Implementation Challenge, Volume 26 of DIMACS Series in Discrete Mathematics and Computer Science
-
-
Dubois, O.1
Re, P.2
Boufkhad, Y.3
Carlier, J.4
-
5
-
-
84959042051
-
When gravity fails: Local search topology
-
Gupta and Nau (1992), Artificial Intelligence
-
Frank J., Cheeseman P., Stutz, J. (to appear): When gravity fails: local search topology. Gupta and Nau (1992). On the complexity of blocks-world planning. Artificial Intelligence (1997) 56, 139–403
-
(1997)
On the Complexity of Blocks-World Planning
, vol.56
, pp. 139-403
-
-
Frank, J.1
Cheeseman, P.2
Stutz, J.3
-
6
-
-
3042880247
-
Genetic algorithms with sharing for multimodal function optimization
-
Cambridge, MA, (Lawrence Erlbaum)
-
Goldberg D.E., Richardson J.J.: Genetic algorithms with sharing for multimodal function optimization. Gen. Algs. and their Apps.: Proc. 2nd Intl. Conf. Gen. Algs., Cambridge, MA, July 1987, 28–31 (Lawrence Erlbaum).
-
(1987)
Gen. Algs. and their Apps.: Proc. 2nd Intl. Conf. Gen. Algs
, pp. 28-31
-
-
Goldberg, D.E.1
Richardson, J.J.2
-
10
-
-
0003293674
-
Genetic algorithms + Data Structures = Evolution Programs
-
Springer Verlag. New York
-
Michalewicz Z.: Genetic algorithms + Data Structures = Evolution Programs. Artificial Intelligence, Springer Verlag. New York, 1992.
-
(1992)
Artificial Intelligence
-
-
Michalewicz, Z.1
-
11
-
-
0029711713
-
Genetic Algorithms with Dynamic Niche Sharing for Multimodal Function Optimization
-
Piscataway, NJ: IEEE Press
-
Miller B.L., Shaw M.J.: Genetic Algorithms with Dynamic Niche Sharing for Multimodal Function Optimization. IEEE International Conference on Evolutionary Computation, pp 786-791, Piscataway, NJ: IEEE Press 1995.
-
(1995)
IEEE International Conference on Evolutionary Computation
, pp. 786-791
-
-
Miller, B.L.1
Shaw, M.J.2
-
15
-
-
84959057882
-
Towards a quantification of attraction in stochastic local search
-
Berlin, Germany
-
Sidaner A., Chabrier J.-J., Bailleux O.: Towards a quantification of attraction in stochastic local search. Proc. of the Workshop on Empirical Methods in Artificial Intelligence at ECAI’00, Berlin, Germany, pp 39-41, August 2000
-
(2000)
Proc. Of the Workshop on Empirical Methods in Artificial Intelligence at ECAI’00
, pp. 39-41
-
-
Sidaner, A.1
Chabrier, J.-J.2
Bailleux, O.3
|