UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT-Reference-Cited by-同舟云学术

UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT

Published:2005 Issue: Volume: Page:306-320
ISSN:0302-9743
Container-title:Theory and Applications of Satisfiability Testing
language:
Short-container-title:

Author:

Tompkins Dave A. D.,Hoos Holger H.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11527695_24.pdf

Reference17 articles.

1. Audemard, G., Le Berre, D., Roussel, O., Lynce, I., Marques-Silva, J.: OpenSAT: an open source SAT software project. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–509. Springer, Heidelberg (2004)

2. Fukunaga, A.: Efficient implementations of SAT local search. In: Hoos, H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol. 3542, pp. 287–292. Springer, Heidelberg (2005)

3. Gent, I.P., Walsh, T.: Towards an understanding of hill–climbing procedures for SAT. In: Proc. of the Eleventh Nat’l Conf. on Artificial Intelligence (AAAI 1993), pp. 28–33 (1993)

4. Gent, I.P., Walsh, T.: Unsatisfied variables in local search. In: Hybrid Problems, Hybrid Solutions, pp. 73–85 (1995)

5. Hansen, P., Jaumard, B.: Algorithms for the maximum satisfiability problem. Computing 44, 279–303 (1990)

Cited by 52 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane;Lecture Notes in Computer Science;2024

2. Replicable Self-Documenting Experiments with Arbitrary Search Spaces and Algorithms;Proceedings of the Companion Conference on Genetic and Evolutionary Computation;2023-07-15

3. Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search;Lecture Notes in Computer Science;2023

4. Using the method of conditional expectations to supply an improved starting point for CCLS;Journal of Combinatorial Optimization;2022-09-30

5. Cooperative Parallel SAT Local Search with Path Relinking;Evolutionary Computation in Combinatorial Optimization;2020