| |
| 2003 | ||
|---|---|---|
| 4 | EE | Lyndon Drake, Alan M. Frisch: The Interaction Between Inference and Branching Heuristics. SAT 2003: 370-382 |
| 2002 | ||
| 3 | Lyndon Drake, Alan M. Frisch: Combining Inference and Search for the Propositional Satisfiability Problem. AAAI/IAAI 2002: 982 | |
| 2 | EE | Lyndon Drake, Alan M. Frisch, Toby Walsh: Automatic Generation of Implied Clauses for SAT. CP 2002: 783 |
| 2001 | ||
| 1 | EE | Lyndon Drake: Automatic Generation of Implied Clauses for SAT. CP 2001: 761 |
| 1 | Alan M. Frisch | [2] [3] [4] |
| 2 | Toby Walsh | [2] |