![]() | ![]() |
| 2011 | ||
|---|---|---|
| 5 | Weiya Yue, John Franco, Weiwei Cao, Hongwei Yue: ID* Lite: improved D* Lite algorithm. SAC 2011: 1364-1369 | |
| 4 | John Franco: Preface to the special issue. Ann. Math. Artif. Intell. 61(3): 155-157 (2011) | |
| 2010 | ||
| 3 | Weiya Yue, John Franco, Weiwei Cao: Improved Complexity Bound of Vertex Cover for Low degree Graph CoRR abs/1010.2833: (2010) | |
| 2009 | ||
| 2 | John Franco, John Martin: A History of Satisfiability. Handbook of Satisfiability 2009: 3-74 | |
| 1988 | ||
| 1 | John Franco, Yuan Chuan Ho: Probabilistic performance of a heuristic for the satisfiability problem. Discrete Applied Mathematics 22(1): 35-51 (1988) | |
| 1 | Weiwei Cao | [3] [5] |
| 2 | Yuan Chuan Ho | [1] |
| 3 | John Martin | [2] |
| 4 | Hongwei Yue | [5] |
| 5 | Weiya Yue | [3] [5] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page