The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Shaowei Cai" ( http://dblp.L3S.de/Authors/Shaowei_Cai )

URL (Homepage):  http://lcs.ios.ac.cn/~caisw/  Author page on DBLP  Author page in RDF  Community of Shaowei Cai in ASPL-2

Publication years (Num. hits)
2010-2014 (17) 2015-2016 (15) 2017-2018 (19) 2019 (7)
Publication types (Num. hits)
article(28) inproceedings(30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 59 publication records. Showing 58 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shaowei Cai, Yuanjie Li, Wenying Hou, Haoran Wang Towards faster local search for minimum weight vertex cover on massive graphs. Search on Bibsonomy Inf. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuren Zhou, Xiaoyu He, Yi Xiang, Shaowei Cai A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shaojiang Wang, Tianyong Wu, Yuan Yao, Dongbo Bu, Shaowei Cai Constrained maximum weighted bipartite matching: a novel approach to radio broadcast scheduling. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yi Chu, Chuan Luo, Shaowei Cai, Haihang You Empirical investigation of stochastic local search for maximum satisfiability. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, Hongyu Zhang 0002 Towards more efficient meta-heuristic algorithms for combinatorial test generation. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang 0002, Dongmei Zhang Local Search with Efficient Automatic Configuration for Minimum Vertex Cover. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang 0001, Lijun Zhang 0001, Yi Lv, Shaowei Cai An Automatic Proving Approach to Parameterized Verification. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yiyuan Wang, Shaowei Cai, Minghao Yin New heuristic approaches for maximum balanced biclique problem. Search on Bibsonomy Inf. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang 0005 Efficient zonal diagnosis with maximum satisfiability. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kenji Kanazawa, Shaowei Cai FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT. Search on Bibsonomy MCSoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao 0007 NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhendong Lei, Shaowei Cai Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Jinkun Lin, Chuan Luo Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yiyuan Wang, Shaowei Cai, Minghao Yin Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yiyuan Wang, Shaowei Cai, Minghao Yin Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Haochen Zhang, Shaowei Cai, Chuan Luo, Minghao Yin An efficient local search algorithm for the winner determination problem. Search on Bibsonomy J. Heuristics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuanjie Li, Shaowei Cai, Wenying Hou An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs. Search on Bibsonomy SEAL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw 0001, Kai Wang Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis. Search on Bibsonomy TAMC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Chuan Luo, Haochen Zhang From Decimation to Local Search and Back: A New Approach to MaxSAT. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yiyuan Wang, Shaowei Cai, Minghao Yin Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su A Reduction based Method for Coloring Very Large Graphs. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search. Search on Bibsonomy SIGARCH Computer Architecture News The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su New local search methods for partial MaxSAT. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yiyuan Wang, Shaowei Cai, Minghao Yin Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang 0001, Shaowei Cai A novel approach to parameterized verification of cache coherence protocols. Search on Bibsonomy ICCD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Jinkun Lin Fast Solving Maximum Weight Clique Problem in Massive Graphs. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang An I/O Efficient Model Checking Algorithm for Large-Scale Systems. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu Clause States Based Configuration Checking in Local Search for Satisfiability. Search on Bibsonomy IEEE Trans. Cybernetics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang An I/O Efficient Approach for Detecting All Accepting Cycles. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Zhong Jie, Kaile Su An effective variable selection heuristic in SLS for weighted Max-2-SAT. Search on Bibsonomy J. Heuristics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Chuan Luo, Kaile Su Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. Search on Bibsonomy Comput. J. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Jinkun Lin, Kaile Su Two Weighting Local Search for Minimum Vertex Cover. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Shaowei Cai, Chuan Luo, Kaile Su CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang 0023 TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). Search on Bibsonomy ASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shaowei Cai Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Shaowei Cai, Chuan Luo, Kaile Su Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar 0001 NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Chuan Luo, Kaile Su, Shaowei Cai More efficient two-mode stochastic local search for random 3-satisfiability. Search on Bibsonomy Appl. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Chuan Luo, John Thornton 0001, Kaile Su Tailoring Local Search for Partial MaxSAT. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su Double Configuration Checking in Stochastic Local Search for Satisfiability. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Shaowei Cai, Kaile Su Local search for Boolean Satisfiability with configuration checking and subscore. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar 0001 NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fei Yan, Shaowei Cai, Ming Zhang 0004, Guojun Liu, Zhi-Hong Deng A clique-superposition model for social networks. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Kaile Su, Chuan Luo Improving WalkSAT for Random k-Satisfiability Problem with k > 3. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Kaile Su Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Shaowei Cai, Kaile Su Configuration Checking with Aspiration in Local Search for SAT. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Shaowei Cai, Kaile Su, Abdul Sattar 0001 Two New Local Search Strategies for Minimum Vertex Cover. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Chuan Luo, Kaile Su, Shaowei Cai Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Kaile Su, Abdul Sattar 0001 Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Kaile Su Local Search with Configuration Checking for SAT. Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shaowei Cai, Kaile Su, Qingliang Chen EWLS: A New Local Search for Minimum Vertex Cover. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #58 of 58 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license