A Continuous Approach to Inductive Inference (1992)

Cached

Download Links

by Anil Kamath , Narendra K. Karmarkar , K. G. Ramakrishnan , Mauricio G. C. Resende
Venue:Mathematical Programming
Citations:38 - 2 self

Documents Related by Co-Citation

1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
104 Efficient local search for very large-scale satisfiability problem – J Gu - 1992
360 Noise strategies for improving local search – Bart Selman, Henry A. Kautz, Bram Cohen - 1994
137 Towards an understanding of hill-climbing procedures for SAT – Ian P. Gent, Toby Walsh Y - 1993
105 Algorithms for the Maximum Satisfiability Problem – P Hansen, B Jaumard - 1990
216 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
43 Computational experience with an interior point algorithm on the satisfiability problem – A. P. Kamath, N. K. Karmarkar, K. G. Ramakrishnan - 1990
197 The Breakout Method for Escaping From Local Minima – P Morris - 1993
683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
283 and easy distributions of sat problems – Hard - 1992
98 On selecting a satisfying truth assignment – C H Papadimitriou - 1991
99 An Empirical Study of Greedy Local Search for Satisfiability Testing – Bart Selman, Henry A. Kautz - 1993
51 Resolution vs. cutting plane solution of inference problems: Some computational experience – J Hooker - 1988
591 Tabu Search – Fred Glover - 1989
270 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
3505 Optimization by simulated annealing – S. Kirkpatrick, C. D. Gelatt, M. P. Vecchi - 1983
20 Global Optimization for Satisfiability (SAT) Problem – Jun Gu - 1994
516 Optimization by simulated annealing: An experimental evaluation, Part – D S JOHNSON, C R ARAGON, L A MCGEOCH, C SCHEVON - 1991
219 Hard and Easy Distributions of SAT Problems – David Mitchell, Bart Selman, Hector Levesque - 1992