New Local Search strategies For Minimum Satisfiability Problem

Author(s):  
Xueliang Ren ◽  
Zhiyong Liu ◽  
Qian Yin ◽  
Yishuang Song ◽  
Xiaoxu Li
2021 ◽  
Vol 516 ◽  
pp. 110607
Author(s):  
James B. Hengenius ◽  
Erin G. Connor ◽  
John P. Crimaldi ◽  
Nathaniel N. Urban ◽  
G. Bard Ermentrout

2006 ◽  
Vol 14 (2) ◽  
pp. 223-253 ◽  
Author(s):  
Frédéric Lardeux ◽  
Frédéric Saubion ◽  
Jin-Kao Hao

This paper presents GASAT, a hybrid algorithm for the satisfiability problem (SAT). The main feature of GASAT is that it includes a recombination stage based on a specific crossover and a tabu search stage. We have conducted experiments to evaluate the different components of GASAT and to compare its overall performance with state-of-the-art SAT algorithms. These experiments show that GASAT provides very competitive results.


2014 ◽  
Vol 41 (10) ◽  
pp. 4939-4949 ◽  
Author(s):  
João Paulo Queiroz dos Santos ◽  
Jorge Dantas de Melo ◽  
Adrião Dória Duarte Neto ◽  
Daniel Aloise

2017 ◽  
Vol 55 (5) ◽  
pp. 808-825 ◽  
Author(s):  
Le Wang ◽  
Jun Lin ◽  
Jie Yan ◽  
Wentian Cui

Purpose The purpose of this paper is to investigate the combined effects of different modalities of long-term knowledge accumulation and short-term knowledge searching on the generation of high-impact ideas. The authors aim at providing useful conclusions for academic scholars. Design/methodology/approach Two dimensions of the cumulative knowledge structures of researchers are measured: knowledge depth and knowledge breadth. The search strategies employed by researchers are classified as local search and distant search. The authors use researchers’ historical publications to measure cumulative knowledge structures. References contained in these publications serve as an indicator of knowledge searching behaviors and are used to measure search strategies. Highly cited papers with random-but-matched papers from the same journal published in the same year are adopted to test the hypotheses. Findings The knowledge depth of researchers positively predicts the generation of high-impact ideas. Knowledge breadth has a bell-shaped relationship to the generation of high-impact ideas. Two instances of “strategic fit” between the knowledge structures and search strategies of researchers are identified; namely, knowledge breadth combines most effectively with local search, and knowledge depth combines most effectively with distant search in generating high-impact ideas. Research limitations/implications Using article references to measure authors’ knowledge search behaviors may lead to biases. Future research should perform a survey to obtain a comprehensive understanding of the knowledge search behaviors of scholars. Practical implications A “T-shaped” knowledge structure in the long run is recommended for maximal generation of high-impact ideas. Researchers who have not adopted this optimal knowledge structure can employ a matched search strategy to leverage their existing knowledge structures. Originality/value This paper is among the first to examine the interactive effects between the cumulative knowledge structures and short-term knowledge searching strategies of researchers. The authors have enriched the exploration and exploitation theory by adding the dimension of time into the analysis.


Sign in / Sign up

Export Citation Format

Share Document