Wei Wu

Affiliations:

Peking University, Key Laboratory of High Confidence Software Technologies of Ministry of Education, Beijing, China
Zhejiang Normal University, College of Mathematics, Physics and Information Engineering, Jinhua, China

According to our database¹, Wei Wu authored at least 6 papers between 2012 and 2015.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2015

Clause States Based Configuration Checking in Local Search for Satisfiability.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2015

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

2014

Double Configuration Checking in Stochastic Local Search for Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

FWLS: A Local Search for Graph Coloring.

[BibT_eX]

[DOI]

Wei Wu

Chuan Luo

Kaile Su

Proceedings of the Frontiers in Algorithmics <i>and</i> Algorithmic Aspects in Information and Management, 2013

2012

A complete first-order temporal BDI logic for forest multi-agent systems.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2012

Wei Wu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...