From approximate t o optimal solutions: Constructing pruning and propagation rules

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1997, Pages 1396-1401

  Gent, Ian P ^a   Walsh, Toby ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BRANCHING RULES; CONSTANT FACTORS; GENERAL APPROACH; MODULAR ARITHMETIC; NUMERICAL CONSTRAINTS; OPTIMAL SOLUTIONS; OPTIMIZATION PROCEDURES; PROPAGATION RULE;

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; OPTIMIZATION;

APPROXIMATION ALGORITHMS;

EID: 84880690977     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. J. Bright, S. Kasif, and L. Stiller Exploiting algebraic structure in parallel state space search In Proceedings of AAAI-94, pages 1341-1346, 1994.
2. P. Cheeseman, B. Kanefsky, and W. M. Taylor. Where the really hard problems are. In Proceedings of 12th IJCAI, pages 331-337, 1991.
3. M. Davis and H. Putnam. A computing procedure for quantification theory. J. Association for Computing Machinery, 7:201-215, 1960.
4. M. R. Garey and D. S. Johnson. Computers and intractability : a guide to the theory of NP-completeness. W H Freeman, 1979.
5. R.E. Korf. From approximate to optimal solutions: A case study of number partitioning. In Proceedings of 14th IJCAI, pages 266-272, 1995.
6. R. Korf. Improved limited discrepancy search. In Proceedings of AAAI-96, pages 288-291, 1996.
7. J.C. Lagarias and A.M. Odlyzko. Solving low-density subset sum problems. Journal of the Association for Computing Machinery, 12(I):229-246, 1985. (Pubitemid 15599042)
8. C. C. McGeoch. Experimental Analysis of Algorithms. PhD thesis, Carnegie Mellon University, 1986. Also available as CMU-CS-87-124.
9. R.C. Merkle and M.E. Hellman. Hiding information and signatures in trapdoor knapsacks. IEEE Transactions on Information Theory, 24:525-530,1978.
10. C.H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
11. J.M. Slatford and N.B. Yeadon. Report on the packing efficiency of parcel containers. Technical Report 12, Parcel and Bulk Mail Mechanisation Branch, Design and Development Division, Post Office, London EC1, 1970.