Tunneling between plateaus: improving on a state-of-the-art MAXSAT solver using partition crossover
暂无分享,去创建一个
[1] H. B. Mann,et al. On a Test of Whether one of Two Random Variables is Stochastically Larger than the Other , 1947 .
[2] Chu Min Li,et al. An efficient branch-and-bound algorithm based on MaxSAT for the maximum clique problem , 2010, AAAI 2010.
[3] Armin Biere,et al. Effective Preprocessing in SAT Through Variable and Clause Elimination , 2005, SAT.
[4] Jeremy Frank,et al. When Gravity Fails: Local Search Topology , 1997, J. Artif. Intell. Res..
[5] Doug Hains,et al. Greedy or Not? Best Improving versus First Improving Stochastic Local Search for MAXSAT , 2013, AAAI.
[6] L. Darrell Whitley,et al. Optimizing one million variable NK landscapes by hybridizing deterministic recombination and local search , 2017, GECCO.
[7] Adnan Darwiche,et al. A Structure-Based Variable Ordering Heuristic for SAT , 2003, IJCAI.
[8] Chu Min Li,et al. Diversification and Determinism in Local Search for Satisfiability , 2005, SAT.
[9] Adam Prügel-Bennett,et al. Learning the Large-Scale Structure of the MAX-SAT Landscape Using Populations , 2010, IEEE Transactions on Evolutionary Computation.
[10] L. Darrell Whitley,et al. Partition Crossover for Pseudo-Boolean Optimization , 2015, FOGA.
[11] Joao Marques-Silva,et al. Automated Design Debugging With Maximum Satisfiability , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[12] Adrian Balint,et al. Improving Stochastic Local Search for SAT with a New Probability Distribution , 2010, SAT.
[13] Djamal Habet,et al. Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver , 2015, J. Satisf. Boolean Model. Comput..
[14] Holger H. Hoos,et al. UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT , 2004, SAT.
[15] Bart Selman,et al. An Empirical Study of Greedy Local Search for Satisfiability Testing , 1993, AAAI.
[16] L. Darrell Whitley,et al. Building a better heuristic for the traveling salesman problem: combining edge assembly crossover and partition crossover , 2017, GECCO.
[17] Brandon M. Malone,et al. Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability , 2014, AISTATS.
[18] Stephen A. Cook,et al. The complexity of theorem-proving procedures , 1971, STOC.
[19] Harry Zhang,et al. Combining Adaptive Noise and Look-Ahead in Local Search for SAT , 2007, SAT.
[20] Armin Biere,et al. Decomposing SAT Problems into Connected Components , 2006, J. Satisf. Boolean Model. Comput..
[21] Weixiong Zhang,et al. Configuration landscape analysis and backbone guided local search: Part I: Satisfiability and maximum satisfiability , 2004, Artif. Intell..
[22] Wei Wu,et al. CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability , 2015, IEEE Transactions on Computers.
[23] Doug Hains,et al. A Hybrid Genetic Algorithm for the Traveling Salesman Problem Using Generalized Partition Crossover , 2010, PPSN.
[24] Doug Hains,et al. Tunneling between optima: partition crossover for the traveling salesman problem , 2009, GECCO.
[25] Samuel Kaski,et al. Optimal Neighborhood Preserving Visualization by Maximum Satisfiability , 2014, AAAI.
[26] Carlos Ansótegui,et al. Using Community Structure to Detect Relevant Learnt Clauses , 2015, SAT.
[27] L. Darrell Whitley,et al. Decomposing SAT Instances with Pseudo Backbones , 2017, EvoCOP.
[28] Rémi Monasson,et al. Determining computational complexity from characteristic ‘phase transitions’ , 1999, Nature.
[29] J. Jensen. Sur les fonctions convexes et les inégalités entre les valeurs moyennes , 1906 .