Yu Li

Affiliations:

University of Picardie Jules Verne, LaRIA, Amiens, France

According to our database¹, Yu Li authored at least 8 papers between 2003 and 2020.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

Clause vivification by unit propagation in CDCL SAT solvers.

[BibT_eX]

[DOI]

Artif. Intell., 2020

2019

A branching heuristic for SAT solvers based on complete implication graphs.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2019

2018

A new upper bound for the maximum weight clique problem.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2018

2012

Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation).

[BibT_eX]

[DOI]

Chu Min Li

Wanxia Wei

Yu Li

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Satisfying versus Falsifying in Local Search for Satisfiability - (Poster Presentation).

[BibT_eX]

[DOI]

Chu Min Li

Yu Li

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2006

New heuristics for packing unequal circles into a circular container.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2006

2005

Greedy algorithms for packing unequal circles into a rectangular container.

[BibT_eX]

[DOI]

J. Oper. Res. Soc., 2005

2003

A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Yu Li

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...