Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break-Reference-Cited by-同舟云学术

Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break

Published:2012 Issue: Volume: Page:16-29
ISSN:0302-9743
Container-title:Theory and Applications of Satisfiability Testing – SAT 2012
language:
Short-container-title:

Author:

Balint Adrian,Schöning Uwe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-31612-8_3.pdf

Reference17 articles.

1. Lecture Notes in Computer Science;A. Balint,2011

2. Lecture Notes in Computer Science;A. Balint,2010

3. Biere, A.: Lingeling and Friends at the SAT Competition 2011. Tehnical report 11/1, FMV Reports Series (2011), http://fmv.jku.at/papers/Biere-FMV-TR-11-1.pdf

4. bwGRiD, member of the German D-Grid initiative, funded by the Ministry for Education and Research (Bundesministerium für Bildung und Forschung) and the Ministry for Science, Research and Arts Baden-Württemberg (Ministerium für Wissenschaft, Forschung und Kunst Baden-Württemberg), http://www.bw-grid.de

5. Birattari, M., Yuan, Z., Balaprakash, P., Stützle, T.: F-Race and Iterated F-Race: An Overview. In: Bartz-Beielstein, T., et al. (eds.) Empirical Methods for the Analysis of Optimization Algorithms, pp. 311–336. Springer, Berlin (2010)

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

1. A Local Search Algorithm for MaxSMT(LIA);Lecture Notes in Computer Science;2024-09-11

2. An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints;Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining;2024-08-24

3. Memristor-based hardware and algorithms for higher-order Hopfield optimization solver outperforming quadratic Ising machines;2024 IEEE International Symposium on Circuits and Systems (ISCAS);2024-05-19

4. FYalSAT: High-Throughput Stochastic Local Search K-SAT Solver on FPGA;IEEE Access;2024

5. Solving Distributed ACL Policies Under Complex Constraints with Graph Neural Networks;2023 IEEE 31st International Conference on Network Protocols (ICNP);2023-10-10