Michael R. Dransfield

	2004
3		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		Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. SAT 2003: 1-13
1		Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and computing van der Waerden numbers CoRR cs.LO/0310064: (2003)

Coauthor Index

1	Lengning Liu	[3]
2	Victor W. Marek (V. Wiktor Marek)	[1] [2] [3]
3	Miroslaw Truszczynski	[1] [2] [3]