An algorithm based on tabu search for satisfiability problem
Authors:
- 1 May 2002
- journal article
- Published by Springer Nature in Journal of Computer Science and Technology
- Vol. 17 (3) , 340-346
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Towards a characterisation of the behaviour of stochastic local search algorithms for SATArtificial Intelligence, 1999
- Tabu Search1997
- Simulated annealing for hard satisfiability problems1996
- An Empirical Analysis of Search in GSATJournal of Artificial Intelligence Research, 1993
- Efficient local search for very large-scale satisfiability problemsACM SIGART Bulletin, 1992
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960