Local search with edge weighting and configuration checking heuristics for minimum vertex cover

, &
Artificial Intelligence 175 (9-10):1672-1696 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2011.03.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Local search for Boolean Satisfiability with configuration checking and subscore.Shaowei Cai & Kaile Su - 2013 - Artificial Intelligence 204 (C):75-98.
Automated creation of pattern database search heuristics.Stefan Edelkamp - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 35--50.
New local search methods for partial MaxSAT.Shaowei Cai, Chuan Luo, Jinkun Lin & Kaile Su - 2016 - Artificial Intelligence 240 (C):1-18.
Degree-Constrained k -Minimum Spanning Tree Problem.Pablo Adasme & Ali Dehghan Firoozabadi - 2020 - Complexity 2020:1-25.
Model checking for hybrid logic.Martin Lange - 2009 - Journal of Logic, Language and Information 18 (4):465-491.
Local search with constraint propagation and conflict-based heuristics.Narendra Jussien & Olivier Lhomme - 2002 - Artificial Intelligence 139 (1):21-45.
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.Chuan Luo, Shaowei Cai, Kaile Su & Wenxuan Huang - 2017 - Artificial Intelligence 243 (C):26-44.
Précis of simple heuristics that make us Smart.Peter M. Todd & Gerd Gigerenzer - 2000 - Behavioral and Brain Sciences 23 (5):727-741.
Distributed extended beam search for quantitative model checking.Anton J. Wijs & Bert Lisser - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 166--184.
Configuration landscape analysis and backbone guided local search.Weixiong Zhang - 2004 - Artificial Intelligence 158 (1):1-26.
Particle Swarm Optimization with Enhanced Global Search and Local Search.Jie Wang & Hongwen Li - 2017 - Journal of Intelligent Systems 26 (3).
Unit weighting schemes for decision making.Hillel J. Einhorn & Robin M. Hogarth - 1975 - Organizational Behavior and Human Performance 13 (2):171-192.
A P‐Completeness Result for Visibility Graphs of Simple Polygons.Jana Dietel & Hans-Dietrich Hecker - 2000 - Mathematical Logic Quarterly 46 (3):361-375.
On the classification of vertex-transitive structures.John Clemens, Samuel Coskey & Stephanie Potter - 2019 - Archive for Mathematical Logic 58 (5-6):565-574.
On the finiteness of the recursive chromatic number.William I. Gasarch & Andrew C. Y. Lee - 1998 - Annals of Pure and Applied Logic 93 (1-3):73-81.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,590,841)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.

View all 6 citations / Add more citations

References found in this work

Add more references