| |
| 2004 | ||
|---|---|---|
| 3 | EE | Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. Electr. J. Comb. 11(1): (2004) |
| 2003 | ||
| 2 | EE | Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. SAT 2003: 1-13 |
| 1 | EE | Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and computing van der Waerden numbers CoRR cs.LO/0310064: (2003) |
| 1 | Lengning Liu | [3] |
| 2 | Victor W. Marek (V. Wiktor Marek) | [1] [2] [3] |
| 3 | Miroslaw Truszczynski | [1] [2] [3] |