Funder
Israel Science Foundation
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Software
Reference32 articles.
1. Audemard, G., Simon, L.: Glucose 4.0 SAT Solver. http://www.labri.fr/perso/lsimon/glucose/
2. Bellman, R. (1962). Dynamic programming treatment of the travelling salesman problem. Journal of the ACM, 9(1), 61–63.
3. Bondy, J., & Jackson, B. (1998). Vertices of small degree in uniquely Hamiltonian graphs. Journal of Combinatorial Theory, Series B, 74(2), 265–275.
4. Cameron, R., Colbourn, C., Read, R., & Wormald, N. C. (1985). Cataloguing the graphs on 10 vertices. Journal of Graph Theory, 9(4), 551–562.
5. Lecture Notes in Computer Science;M Codish,2018