| 2009 | ||
|---|---|---|
| 2 | Calin Anton, Lane Olson: Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism. Canadian Conference on AI 2009: 16-26 | |
| 2005 | ||
| 1 | Joseph C. Culberson, Yong Gao, Calin Anton: Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search. IJCAI 2005: 78-83 | |
| 1 | Joseph C. Culberson | [1] |
| 2 | Yong Gao | [1] |
| 3 | Lane Olson | [2] |